Size of DC plug for DDJ-800

Hey guys,

I want to run my DDJ-800 directly of the 12V DC output of a powerstation (yes, I know that this is not recommended and will void the warranty) for mobile DJ sessions and therefore need to know which type / size / dimension the DC plug has?

The powerstation comes with the standard 5.5 x 2.1 mm cable so I would need to know which adapter to buy.

Thanks in advance