Noticed that the car was leaking coolant and when I took it to the shop guy stated radiator busted and that it would be $450 to replace. That $450 includes parts, labor and new coolant. Does that sound right to you guys. Let me know. Thanks in advance.