Does anybody know what pump this uses and how long they typically last?