The oak trees over my pull deck have been dropping some things that leave stains on the kool deck. Powerwashing and scrubbing is getting some of it up, but some is deep set. Krud Cutter is effective, but Im nervous about that getting into the pool water. Is there another deck cleaner someone can recommend for hard to get out pool deck stains?