I had my roof replaced last year prior and several nails ended up in my pool that I didn't discover until opening this year. Fortunately there were no punctures in the liner. However, they did leave rust stains on the liner. I read in another thread that Mr. Clean Magic Eraser can be used to remove this stain. Is that true? If so then how do I apply it?

Thanks,

Riles