I decided the extra $$ for the AGM battery is not worth it.
New ones are less than 1/2 the price of AGMs, and if I went with them and they didn't last I'll be REALLY pssd'. So I will go with what has been working. Hope I get another 10 years out of these.
I bought a new onboard charger so everything will be new.
Got some wiring to straighten out, clean everything, install new trays and the new charger and I'm good to go.