The battery debate always grabs my attention:
In Australia;
If you are replacing a battery in a certified/factory built aircraft you are bound by the manufacturers recommendations. Some manufacturers may have several options.
On the other hand, if the aircraft is a homebuilt (scratch/kit/plans or modified factory) it is considered experimental and you may fit whatever battery you deem appropriate.
The experimental designator makes choosing a suitable battery, wide open to whatever the market may offer, including automotive batteries.
My last 912ULS powered aircraft used an "SSB PowerSport" AGM battery, PN VB16L-B, CCA 385, AH 19, Weight 6.5 kg - this is a motorcycle battery, which is a fraction of the cost of an aircraft battery. It performed very well in this application and I only replaced it once in 10 years of use (900 hrs).
My new 912ULS aircraft uses an "EarthX" Model ETX900 - CCA 400, AH 15.6, Weight: 2.2kg. About X5 times the cost of the above battery, plus the cost of special charger. Only done 50 hrs, so can't comment, other than to say it spins the engine very vigorously for a good start.