Well, the first of the HP 6216A PSes I got off Ebay arrived, and the only apparent thing wrong with it is the pilot lite id burned out. It's a 125V lamp inside a 5/16" plastic sleeve that is press-fit into the faceplate. It came out easily, but I have to do some surgery to the plastic sleeve to get inside.
I was thinking that I might be able to find a replacement 125V incandescent lamp that would fit inside the 1/4" inside diameter plastic sleeve, roughly the same size as the body of a cheap Bic ballpoint pen. I would imagine that it was very low current, maybe only a quarter watt total dissipation. From pics I've seen, I'm fairly certain it wasn't a neon light. If I can't find a lamp, I think what I want to do is replace it with a regular LED, but instead of having it connected across the xfmr primary, I'd steal some current from the secondary's rectified and filtered DC. I know I can't get a LED, rectifier and resistor inside the sleeve and keep the power dissipation that low using the 120VAC.
I bought a manual for ten bucks from Ed Matsuda, but it will arrive next week. I believe it has a schematic. I would like to make sure the supply I'm tapping into won't mind a bit more current. It might affect regulation or something. I was wondering what others have done in the same situation.