This device will regulate a DC 10V~30V power source to 12V with max current output capability of 5A. The cigarette plug has a red adapter which fits most cigarette lighter sockets with red adaptor in place, or Hella DIN socket with the red adaptor removed.
eBay