How much for the pump and timer? What kind are they?