The power arrangements for the machine are a little unusual. It can run from mains power adapter or from a large nicad battery pack. The battery pack is charged in the machine from a separate battery charger – not from the mains supply.
The mains supply, is according to ?????, a 30W 5.8V DC supply provided on a two pin connector of unknown type. I initially “jump started” the machine with a bench supply and some alligator clips.

The actual power drawn by the unit seemed to be no more than a couple of amps – perhaps the optional thermal printer takes power from the machine.
That seemed to be easily within the realms of a DC/DC converter. I found a simple one that could take a wide input voltage and could be adjusted to 5.8V. I’m yet to put it in a box, but it should be easy enough.
The DG One power connector is probably impossible to find but i did find some contacts that were close enough. I’ll need to craft a shell for the contacts.
As for the Nicad battery and charger – well, i think they can be relegated to exhibits.