We have a fair amount of plaster damage that has developed over the past 2 seasons in our 25+ year-old pool. It's most pronounced on the walls, particularly at and closer to the surface. From my research on the forum, I think it's likely due to having the pH too low. Is there anything that can be done outside replastering? I'm wondering if using plaster patch would be at all feasible?