I picked up this collector's item at a hamfest today. Formerly owned by the USNO. I'm told it has power supply problems. Does anyone have any info on it? Probably too much to ask to find a manual or schematic... Bruce N7TWB