In all honesty, in her car, i dont think she has, but i'll have to check. Same goes for my car. Ya, my buddy said the same thing, could be the water pump. "If" the water was changed, could be bad already or could it be something else?