Didn't know about these. That makes sense, although they are a bit pricey.
But since I've got some mains type sockets installed that would be a
reasonably easy fix.