A friend is installing a new gunite pool. During the gunite spray there was a torrential down pour and the guys spraying the gunite could not keep up with the water. Resulting in inch or deeper groves in the gunite(not to rebar). They want to come back in and clean it up good and spray more gunite on top of what is now cured. Anyone experience this? Any adhesion issues? Any advice?