Simple external charger ??
Regarding having to start the coach to charge the batteries, whether these are the house batteries or the chasis battteries, you could get fairly decent charger that has 2amp, 10amp and 25 amp setttings and just plug that into the 110 shore outlet next to your 50amp RV outlet and run an extension cord to the batteries in question. I keep one of these on board all the time as a back up.
As a side bar, I've failed to start my Aqua Hot once a month to keep it maintained and now it won't fire. I think there's a part that needs to have the oil or was cleaned off of it I was told. I know there's a bunch of info on here how to fix that. Don't know if there are any diagram's but if someone knows where the Aqua Hot info I need is within this site and can save me the search time, thank you. Jeff@skincarepro.com