Finally got the car back from the service center. Long story --> short, it was the high voltage controller (or "controller - high voltage"), and the dead 12-volt battery was just a symptom. So if I'd swapped that out myself, which was tempting, I'd have quickly landed in the same boat.
I really...