"Pumps," repeat Shephard. "What, for oil, or water, or some kind of gas?"

Oil doesn't seem likely, but mineral oil has other uses; water, well, Barsoom's not exactly a green planet from what he recalls, so maybe there's water down there somewhere; and gas- for fixing the atmosphere, maybe? It could be any of those.