just bought a 100ah agm battery on amazon, for around $128 delivered. it was on sale. UB12100. UPG is the manufacturer. think its Chinese. it was cheaper than the 90ah that I wanted. I think amazon is having a sale on 12 July.
I had to change some things around as it is a post type battery and the old one was not. I'm running an LED puck light for the over head, fantastic fan, three speed reversible, 1500w inverter, two outside porch lights. this battery fully charged should last a few days....