They fixed the car in a few hours. I went near to closing time so they didn’t have loaners available, so gave me an Uber credit instead. Car was ready 6 hours later, I’ll go pick it up in the day tomorrow.
The evaporator temperature sensor was soft-set (no idea what it means, maybe it was...