@budgiebin@snouts.online I was about to ask for measurements; I was able to find a part number in the service manual (the power plug is not proprietary, it's an HEC2305-01-030) but I couldn't find any actual datasheet for that
But if you want to modify it putting a new power plug in would probably be easy
Don't expect it to be all that energy efficient! it doesn't seem to be designed to run on batteries
@budgiebin@snouts.online ...come to think of it, hopefully plugging in the opposite polarity power supply didn't break anything :x But with such a detailed service manual it might be possible to diagnose a problem and repair it