Power Supply restoration for Xerox Star 8010 and PILOT OS needed