I agree with bowlman in that you should just forget the dealer and take care of this without them. A Johnson pump is only $150, and would be easy for any local mechanic to install in no more than an hour.

I replaced my pump as a precaution because I didn't want to have any potential problems when traveling out of state.