Stick to whatever the service manual says to change the belt and replace the pump its just insurance because if it does leak it will have to ripped apart again in the grand scheme things the pumps are not expensive but the labour is....