Thanks Brian, I think you answered my question, which is that I should get a complete pump assembly. I believe $250 includes the entire unit with pulley, which is pretty cheap insurance if it's something that could be due for problems, and should be easy to change out.

SG, heading to the Azores and the UK this summer, that's the plan anyway.