I need help. We just remodeled our pool and had it replastered. When the water was filled in the jets were turned on and we discovered there was a huge crack in the pipes allowing dirt and rocks to shoot into the pool. They fixed the pipes and came to clean the pool. Dirt and rocks were still in there. Now when we go in the pool the plaster feels rough. Is this normal. Will it smooth out. Any help would be really appreciated.