Is there a small version of the cigarette lighter socket? Our MH (Spanish origin) has an extractor / downlight unit above the gas hob. In this unit are 2 sockets, one I know is a 240v, 2000w Schuko, but the other is a mystery. It's round, like a 12v cigarette lighter socket but it's a smaller diameter. Any ideas?