Go with LifePO4 like I did. Battery should outlast the car.
See.
Alternator voltage output/Battery charge voltage
You should be OK with 20ah lifePO4 which is around a 1/3 the weight of original.
20ah lithium at 600cca using new A123 system cells seems your best option.
There's a few companies on Aliexpress that can make them for you.
I brought this battery for $450 AUD delivered and the Ah rating of 60 is a lie, its 42Ah.
When buying from china confirm part numbers of cells used to work out capacity.
Their numbers are just made up. And you can set the price based on batteries you can buy locally.
https://www.aliexpress.com/item/3300...6f4363c0NZkn2a
I've had this battery for a year now and all it OK. But you do need to set PWM module to float at 13.8v. And note the operating temperatures these work at. May not be ideal for climate you live in.