One of the few things that didn't work on our last trip out was the hand pump head sink. no idea why not, but it just couldn't get primed and move water. THe Galley sink works gang busters. Is there something that needs to get rebuilt? I removed the handle to see what I could see, but ntothing was obvious. I am also not seeing a similar new hand pump faucet All reccommendations are appreciated.