A gently used gasoline pump (PUMP)