Recently we had the metal gates replaced in our back yard. It turns out the workers cut the gates too close to the pool and a ton of the metal shavings must have entered the pool. There are little rust specks all over the pool floor on the shallow end and in the connected jacuzzi (nearest to where the gates were being cut). Some are clustered closer together and some are more spread out. Basically it's a huge mess. Long story short, I didn't notice it until they were paid and gone. I know it could have been avoided but the damage is done and I'm hoping the experts here will have some good advice/tips on getting it up without breaking the bank. Scrubbing them off by hand is not really an option as there are so many around 1mm-1cm diameter. They seem to be on there pretty good too. It just looks like sand is all over the floor. What are my options here? Is there some kind of a special brush or even a chemical that can be added to clear this up? Your detailed advice would be greatly appreciated.
I've attached a photo that hopefully helps. The image is of the 1st step into the pool and the camera is about 2ft away to get an idea how small these specs are. The blue tile is probably a 2x2 inch. The white smudge at the top center of the picture is from using a pool stain eraser attachment on a pole.

I've attached a photo that hopefully helps. The image is of the 1st step into the pool and the camera is about 2ft away to get an idea how small these specs are. The blue tile is probably a 2x2 inch. The white smudge at the top center of the picture is from using a pool stain eraser attachment on a pole.
