Will Pool Vitals work with your pump?