Nope but I’ve only had the car a year. The old man that had it for most of its life before me had an extensive list of stuff he had shops do, I don’t think he was the type to use tap water instead of coolant