Speaking of solar charge controllers; if your house voltage pack is higher then the bus start batteries you can use one as interface between the house batteries and the bus batteries as a full time maintainer.

The YouTube channel "Beginning from this Morning" has an episode on doing this: https://www.youtube.com/watch?v=04hVUQQYiyY&t=13s