Ditto, 95AH vs the standard 70AHThat is what I always do. Not only does that give you extra capacity, but for normal starting, each start will tax a larger battery less than it would a smaller one. The less the battery is taxed, in normal use, the longer it will last.
The car isn't used daily & a fair percentage of it's annual mileage is short journeys, so every couple of months it has 24hrs on a battery charger.

