Replacing Power LED on MicroVAX 3100/95 Power Supply