Hello all, I am looking for information on the vintage 1980s TC Electronic - TC XII Programmable Phaser. The unit will work with internal batteries or external power. I am looking for a power supply or appropriate power cable. The power input socket is not like anything I see today. If anyone can point me in the right direction for either of these items I would truly appreciate it. Thanks.