Hi have a 2011 6.7 with 108,000 miles and just recently did some engine work and while changing the belt I checked all the pulleys for noise and wear. I replace both idler pulleys and the tensioner at the same time and notice that the water pump had a small amount of end play, maybe 16th of an inch. No leaking, noise, up, down and or sideways movement. Should I be concern and plan on replacing it?