We patch and paint our concrete pool every year. The procedure used to be to wash the pool/paint with muriatic acid as part of the prep for repainting. Is there a reason to use this chemical in this situation?