I've got an Elddis Autoquest which has a 12v plug near the fresh water inlet, for plugging in a pump on a hose to fill up with. Can anyone tell me what type of plug I need to get for this? Its smaller than a cigarette lighter plug, but looks similar. I've not seen anything like it.