Thanks for all the info and insights everyone.
So with all of this advice in hand I went to town, straight to a golf cart store. They had the Trojan T-105 that is rated at 25 amps for 447 minutes. The store had them for $110 each, I'm a 100% disabled veteran so I pay no tax in my state but I did have to pay a $25 core fee for each battery. So $540 out the door with 4 of them. The inverter is 3000 watt with a 6000 watt surge, hope that's enough to run the AC units during the hot part of the day? I'll have 600 watts total of solar coming in with the 120 portable from Go Power!
Here is a link to a video. These folks have the exact same system that I will be installing. They have only 2 golf cart batteries. https://youtu.be/Kbrwhq4ooWs