Does a miner still need a pump?