Last summer a well-meaning friend :hammer: acid-washed our spa; the plaster on it (and the adjacent pool) are both about 6 or 7 years old. He did not dilute the acid; just poured it right over the plaster and hosed it off rather quickly afterwards.
A few weeks later the plaster started...