Battery Sales USA, in Miami, had the Lifeline battery I was looking for (for much less than BoatUS when you figure in the shipping cost.) They carry most of the better known marine battery brands. I ordered one on Wednesday (Lifeline AGM, group 31, 105 ah, $199+$25 shipping); it arrived Friday. Got a slightly better price from DC Battery, but they don't take credit cards.