Another method I sometimes use if the stain is small is called the stain eraser which looks like a big rubber eraser and you can get at your local pool store. Also, my plaster installer used 220 grit wet/dry sand paper to remove a few stains in my pool last year.