I’m helping my dad refit his old fishing boat and we’re looking for a small but reliable AGM battery to power the basic electronics — GPS, VHF, and a couple of LED lights. We don’t need anything massive, just something compact that can handle frequent discharges without dying in a season. Ideally, we want a trusted brand with good performance over time. Any suggestions?