to be clear, I know that current cars are just completely phasing them out and instead adding USB bc that's a more convenient power source and it lets you hook up to the audio panel or whatever (blanking on what that's called at this instant)
So I'm not completely surprised if someone were to look at the funny round receptacle and not know what it was and be told cigarette lighter
But somehow your comment hit a weird middle where I imagined the answer being "it's 12V we don't know why"