Hello, located in Modesto, CA. I have a 26,000g diamond cut plaster pool and noticed these areas wouldn’t come off when I brushed it. Took a water sample to local shop they said no iron, copper or Algae but CH and PH was high so I’ve been adding Muriatic acid to bring it down. They couldn’t identify the stain though. Any help would be appreciated.