I have an old pool with some blotchy discoloration on the floor tiles. My pool guy has cleaned what was a green/blue stain down to a light gray discoloration which either does not come off or immediately returns. I need someone knowledgeable enough to tell me if it can be cleaned, killed or if it is some sort of permanent etching damage. Thanks.