I'm looking for recommendations on what to use for a few small spots where the plaster has come away on the walls of our gunite pool. The pool is about 20 years old and I believe it's delamination from freezing (we're near Boston, the thing is ice much of the winter). It's only a few small...