Hey mate, yes as you have said, the DC-DC charger in the camper is the best option.
However if you run some decent sized cable from your aux battery to a plug on the rear then that will definitely...