PoolguyNJ,
Thank you for the response. I have patched a few spots with a mixture of Portland cement (they grey kind), silica sand, water and acrylic bonding agent. This seems to be the formula for pool plaster, based on my internet research. I am going to wait a day or two and then try to...