auxiliary pump

noun

1.
a supplementary pump available if needed