I have a gunite pool that has some spots that aren't so pretty and show wear. A long time ago I had a pool guy smooth it out with some type of cement that lasted a pool season. He did this underwater and moved quickly. Does anyone have any idea what used?