Does a timing-belt-a-thon by default include changing out the water pump? I thought that I read somewhere online that it was best to do them both at the same time as the pumps wear out all the time. Thanks, M./