Out of interest, I decided to keep a log of the battery voltage over time after a run.

This is easy to check, since the car has the jump leads connected via the Anderson connector when in the garage, allowing easy charging (but not easy fitting of the connector, that is a bit fiddly).

Time        Voltage

1 day       12.77

2 days      12.68

3 days      12.57