We went on vacation a few weeks ago and there was a dust storm while we were gone. I adjusted the chemicals as the pH had gone up to 8.2 and the chlorine was almost undetectable. The infloor cleaning system seemed to have cleaned the pool pretty well for the most part except for the few normal spots that it misses. Once I finally got wet I noticed that the plaster felt gritty. I figured it was the outside layer of plaster finally shedding off to reveal the quartz underneath. So I didn't really think anything of it. The next day I decided to manually sweep the spots that the infloor hadn't reached, but the dust wouldn't move. At first I thought maybe it was a form of algae since the chlorine had dipped so low, but upon closer inspection I noticed that it was actually grains of sand that had basically glued itself to the plaster. It isn't actually only in a few spots, but the entire pool, even the walls are covered. You can only see it if you get really close, except for the few spots that the cleaner doesn't get, those spots are very noticeable. I had actually been considering getting a stainless steel brush a few months ago because of some algae that we had, but decided against it. Should I get a stainless steel brush and use it on the plaster, or is there some other way to remove it? Our plaster used to be so smooth, but now it is like sandpaper.