Asking a question for a friend at work. Last 4th of July, he had firework debris land in their gunite IG pool. He thought he had gotten it all out, but the next day there were 4 brownish stains on the bottom. Just scrubbing them does not take them off. Anyone have any experience with this? Any suggestions for what he could use to clean these stains?