The Collaborative International Dictionary of English v.0.48:

Pumper \Pump"er\, n.
   One who pumps; the instrument or machine used in pumping.
   --Boyle.
   [1913 Webster]