Overheating

[jps]

2004 Tbird. Lots of overheating issues over the last 6 months. Dealer thought it was electronic. It was not. Ford tech said to try a new thermostat in October 07. Seemed to work. Shortly after, if idling for a long time, steam seemed to drift out of the engine compartment, but I could not reproduce for the dealer. Last week, another overheat, temp went to max, all dash lights on and when I pulled over, shut down for 2 minutes and A OK. Dealer has it, they did a pressure test and found a coolant leak at the thermostat housing. $500 thankyou. Part is ordered. Does this fix sound reasonable? JPS