Thanks all for the comments and answers. With the encouragement of a battery salesman, and this group, I got two of the deep cycle batteries. The RV use continues normally again, so all's well. Haven't yet needed to use the house batteries to start, but feel confident it won't be a problem.