As the OP, I thought I'd update my situation.
As I said upthread, I took the car to our dealers, but they couldn't find anything wrong. That was a Wednesday. On the Friday, we had a 12V battery warning again. So I took it to the dealer again, as we were off on holiday on the Saturday.
The...