There are "universal" step-up and step-down DC-DC adapters on the market that will plug into the standard car cigarette lighter (or airline DC outlet). Generally the specs say these are quite forgiving in the acceptable range around the nominal 12V input--the output V is fixed or selected by...