At the moment there is no mains power supply, but I have a 9hp 3.8kvA generator that can generate both 240V and 12V DC.
At the moment I only need a cd player to be powered. I have two options:
a 240V household cd playeror, a 12V car cd player
I'm presuming but am not sure that it would use...