I'm sure Pooldoc will offer an opinion here, but as far as I'm concerned, if the pH is stable, and there are no other apparent problems from it, leave it alone. You can fight the battle to bring it down, but as Anna pointed out, everytime you top the pool off, it's just going to come back up again...so if it's not creating problems for you now, I wouldn't worry about it.