It certainly won't hurt to do so. But, even still, muriatic acid is nasty stuff. Personally, I'd leave the pH alone and not have to mess with the acid unless I had to. That is why I said he is ok at 7.8. Either way is fine.

By the way, thanks for helping, Charlie. We appreciate it!