Battery died today.
After 6 hours on the charger, still nothing.
Although the old one the garage put in looked a bit small, it lasted 9 years so I just bought an identical replacement.
A Bosch S5 005.
Unclipped the surrounding plastic trim, loosening it and pulled it to the side.
Despite it being a smaller battery I only just managed to squeeze the battery in.