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. 
The board in the supply is an Astec, so might be findable other ways
than just "the GIGI supply", but you probably don't have any of the fan,
switch / plug assembly, or bent sheet metal either, I bet.
Photo here: 
https://yagi.h-net.org/gigi_ps.jpg
De