Likewise, I've been very happy with my AGM batteries. I went with 100AH batteries made by Ultimate . They are so-called "dual purpose" deep-cycle batteries which means they can supply enough cranking amps to serve as starter batteries, but also tolerate deep cycles to serve as house batteries. This means that all my batteries on board are exactly the same type, which in my case is the following:
4 x house battery
1 x starter battery
1 x VHR radio battery (required for survey)
1 x Hookah dive battery for electric compressor
If I'm unlucky enough to have a dead starter battery and a dead house battery bank, I still have two spares