what pumps were used?