Sorry for late reply, been away.
I'm powering the all the 12v devices from the PSU that came with the machine. Its powering the LCD controller, an amplifier and the lights for the 20c buttons.
I'm powering the Raspberry Pi from a Raspberry Pi PSU.
I mounted an IEC connector to the back panel of the machine, then wired a 4 Plug power board inside the machine and plugged in the transformers there.
I hope tha make sense, if not I can take some photos.
Cluffy