Pixhawk USB Connectors

Hardware Pixhawk family
1

Would anyone know the part number and manufacturer of the metal USB socket sold by 3DR as an accessory for the original pixhawk