[cctalk] Power supply for DEC VK100 GIGI?

A friend gave me a DEC VK100 (aka GiGi) recently. It's in really nice shape, but it is missing the power supply. Before I try to kludge something up with an ATX supply, I thought I'd ask if anybody knows where I might find an official replacement. Thanks, Bob