Hi. I'm repairing a H.P. 6111A D.C. power supply and need to replace a shorted diode. It is CR32. If anyone out there has the service manual, could you please tell me what this part is? It seems to be marked GE1-3.2Z so it's not a stretch to think that it's a 3.2V zener, but I'd like to know for sure. Thanks.
-- Joe