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