Hello ! I'm using an HP 58516A GPS distribution amplifier to share my GPS antenna between my receivers. What is the proper part number or connector "name" for the power supply connector ? Thanks for your help ! Claude