I have acquired a HP 5087A that I plan to use to distribute the 10 MHz output of my HP Z3816A GPSDO and was wondering if anyone had a manual or any other information on the unit. Also, does anyone have a manual on the Z3816A? Thanks, Joe