Definitions of auxiliary pump:

  • noun:   a supplementary pump available if needed