Anyone know the model number of the water pressure pump? Mine seems dead. I checked it during my maintenance last weekend and it will not pump when the switch is clicked no motor sound and then just jumps the breaker. I think it needs to be replaced but anything I can check before I have to would be appreciated. Thanks Rick 724