If this is the originall water pump it should be replaced with the timing belt even if it were not leaking. I’d repace the tensioner too.
IMHO the additional 3 hours labor is too much. He’s probably going by the standard, which indicates three hours to replace a water pump, but that’s assuming the mechanic isn;t already replacing the timing belt. Honestly, whether a shop charges this way or not depends on the shop.