My Teco did.

It would trip the RCD in the 32amp wall socket though. It had an option to disengage it by snipping a wire.