Thanks, Dan.
I had gotten some advice from some others on FaceBook to use WD-40, and I did. Left it out in the sun to dry today, and then fired it up. It lives to pump another day!!
Granted, it may have lost some of its life, but I've already gotten over 2 years out of it, so I can't complain.