Thank you gents — very helpful.
Had another event last night. The car was left on the charger (inadvertently to 100%, usually I stop it at 80 - 90%) until it shut itself off, but I left it plugged in. It was plugged in but not charging for about a day, and when I went out this morning it was...