Thanks so much for your reply! In fact, I just got off the phone with a nearby Walmart - they quoted me $70 for EVERSTART 27DC DEEP CYCLE with 720 CRANKING AMPS...perhaps they are the same ones that you've mentioned.
They could be the same ones....it sounds right. Maybe I paid $70, not $75. Maybe it was $75 with sales tax.