Update: They were not even smart to come up with a good lie.
Replacing a thermostat is a part of the 90K service. Guess what happened after a new unit has been installed? For some reason the temperature no longer rises. No rapid jumps from "normal" to "high" and then back to "normal." Brilliant.
I am glad I pulled the car out of their freaking garage.