First question is your charger compatable with AGM? If so I would guess that they would give you a little more run time and longevity is pretty good. 5 years out of your interstates using them like you do is pretty impressive and sounds like you do a good job of maintaining them. Is weight a issue. If not rather than high priced AGM I would go with golf cart batteries. Your charger red lines because your batteries are pretty much run down at the end of your trip and charger is a lower amp out put so it goes to max charge and then will start to back off as the surface charge starts to build.
Proud Member of Team Geezer
Charlie Weaver USN/ENC 1965-1979