UPDATE: I haven't picked up the car yet, but the dealer has replicated and fixed this issue. Apparently there was short in the main wiring harness and they've repaired it ($200 later....) I wish this had happened closer to the big repair, I can't say almost 4 years later that the two are related...