My PH has slowly been creeping up & this morning is at 8.0. Should I add some muriatic acid today (& how much for a 30,000 gl pool) or wait till it is alittle higher?