?!!?!! We were getting severely ripped off by our suppliers, it would seem. Hmm. Oh well, rather late to do anything about that now...

The pins are spectacularly expensive, though, considering you need 24 of them to populate a connector...

You may want to crimp these carefully by hand though, as the special tool costs $742 for one type of pin and $587 for the other

Hugo