Car finally sorted today. The garage was 2 men down with Covid, hence a major delay, but a new starter motor sorted it.
Also bought a multimeter so I can check things in future and will see if the new battery stops the red battery light coming on. At some point, I'll check to see of the old battery was really on the way out anyway. At least I'll have a spare if it's still OK.
Thanks for the advice guys.