Our original house batteries were Harris. Since yours are a different brand, you may have newer than original batteries from the PO. The only rating they had listed on the battery was RC @ 25A 160min, so it looks like you currently have better cells in your rig than what came with it.
We did replace our original Harris house batteries this year that were tagged with an 8/14 stickers on them, we took a different approach than others (what they did was good, ours was just different) based on access to a larger group 31 battery at $73/each. We had never deep-cycled our original batteries since we use the Energy-command 30 automatic feature all the time, so we thought that ultra-expensive deep cycle batteries would be overkill vs the $73 deal on a standard dual purpose deep cycle battery.
The Group 31 will fit the battery tray - but requires modification to the bottom where there are partitions welded to keep the smaller batteries from sliding around in the tray. A typical welders grinder had them removed in 10-minutes, with the longest wait for the spay paint to dry in the bottom of the tray.
After the paint was dry, dropped the new cells in the tray and hooked all of the original connections to the new batteries in the same way they were before.
Our choice was mostly based on the availability of these larger batteries at a killer price. I wished all of our other vehicles could use(fit) these group 31 units as we are battery poor with a total of 17 batteries installed in our vehicles right now
Steve & Stacy with Jasper (Australian Cattle dog)
2015 Seneca 36FK
Custom 27' flatbed trailer hauling:
07 Toyota FJC & Yamaha Kodiak 400 ATV