It's an AG10. So I'll look for a local supplier tomorrow.
And then take another 4 days to install it.
But many thanks - the hardware clock is now working again!
PS: The battery size is also a 389 or SR54 (amongst many others, but the numbers seem to be the same - the packaging on mine says SR54, the battery itself says 389).