zener in HP 6111A D.C. power supply
 

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