I hope that everything is straightened out. It is significant that the techs were able to say the thermostat failed in the open position. That is a common problem; I'm going in for a new thermostat tomorrow after an ECU flash at my first visit failed to cure the "low coolant temperature" fault code. Some folks with this code are getting resets, but the final solution seems to be replacing the thermostat. What is the TC light?