Guys, thanks for all the advice, update on battery project.
I considered the options discussed (golf cart batteries, lithium, etc.), but ultimately decided to keep the original setup with three lifeline AGM (2 4d house, one starter).
The PO put together a well-thought-out system with ACR, battery monitor, smart regulator, and inverter/charger and the original batteries lasted 8 years, so decided to stick with what has worked. Let’s hope the new ones, installed last week, will last that long.