OK, here is the end of this story:
We brought the car in for service and they gave us a loaner Model S (but old and worn out, my GF didn't like it much).
Three days later, they emailed us and said we could pick our car up - they said 'they fixed a corrupted file that didn't allow the car to...