Our new pool is about to be dug and we are struggling with how to plaster it. We have researched Diamond Brite and think it looks like a great product. We can't find any pools in our area (Tulsa, OK) to look at and our pool builder's plaster guy doesn't think it's a good idea. He says it's really rough on the feet and will get rougher as time goes by, to the point of not being able to walk on it. We're looking for anyone with experience, direct or indirect, to help us decide.