Does there exist a Victron dc to dc charger capable of drawing solely off a car cigarette lighter without more complex wiring? Perhaps the Orion 12/9? The use case would be to charge a 100ah LiFePo4 battery in my ultra-portable diy solar generator during the long drives between camp sites. Jackery products can charge this way, so I'm trying to figure out how add similar capacity to my diy build, understanding of course that charge times would be slow.