Hi, yesterday (11/21) I had to have some railing fixed around my pool and the contractor cut it on my deck, leaving a fine black dust (steel) I was able to wash 90 - 95% down into the deck drain, but I'm pretty sure some of it made its way into the pool. I thoroughly vacuumed and swept, and have been running filter and Polaris cleaner non-stop. Any other preventative measures I should be taking that anyone could suggest? Thanks!