In my lab at work we are using a stash of old Nexys 2 boards for a prototype project. I need to verify the exact part number of the Hirose Fx2 connector, because it's highly embarrassing when you drop $20k on hardware and the cables don't mate. I have looked through the official docs without luck, and appreciate the help. It seems to me it's a FX2-100P-1.27DS. Correct? Many thanks!