How often should the water pump be changed? But if i have gone thus far (130k) do you think that the previous owner had already changed it or am I just playing with plain luck right here?