We've just purchased a new house with a pool. There is a rust stain approximately 2" in diameter, about 8" below the surface. It feels like something metallic is exposed to the surface which is slightly pitted.
1. What are the options for repairing this problem without, or with, draining the water?
2. Is there any action I should take while waiting for it to be repaired?
3. Is there likely to be any permanent damage?
Thanks for your help.