Although I agree with changing the pump at the same time as the belt, let me ask a different question:
How many times has a replacement pump failed prematurely? Of those times, how many pump failures took the timing belt with it, and then wrecked the engine?
Any real difference between OEM pumps and aftermarket?