My pool has had the gunite sprayed and now I am waiting for the tile, coping, and concrete. I have been walking around in the pool and checking things out and notice some elevated ridges in bottom of the pool. Some of these are about 1/2 inch tall and the size of a pencil. Some even come to small points. My concern is when they plaster will the high spots be covered with enough plaster to keep from being worn thin in just a few years. How thick is the plaster in the floor area. The main spot that bothers me is directly off the last step were you step every time you enter or leave the pool. I just looking for advice before I approach my builder with this concern incase he tells me not worry.