[cctalk] Re: Power supply for DEC VK100 GIGI?