Does anyone have a good recommendation for a vinyl pool scrubber? I have some scale/stains that seem to come off if I scrape with the backside of my brush. The bristles of the brush don't do the trick. I saw a "stain eraser" on Amazon, but it seems to have mixed reviews.