Haven't seen any yet, if you haven't had overheating problems before it's a bit strange. 232 seems pretty high, in fact 225 is too high compared to my engine. my coolant temp never goes about 190.
just make sure you go to a good shop, if you haven't then you should change out radiator hoses, thermostat, radiator cap. make sure there's nothing else causing overheating that made the head gasket go bad in the first place
|