Hi all, the pool was finished in May. The company that built the pool is so busy I guess they can't make it back for awhile. When they poured the concrete around the pool some of the edges had littles holes in them. They patched the areas by hand but now it is discolored and rough. I'm not so concerned about the darker color but I would like to get it smooth. How do I go about this. Sandpaper maybe? Also some of the concrete bits dried on the vinyl liner. How do you clean that without messing up the liner. Thank you for your input. Here are some pics. Also, absolutely love this site. You guys are great.