Any recommendations on products to get copper staining off stucco. its not a job I'm on but trying to help a friend. From what he tells me, he tried a basic house mix which lightened the stain, but he wants it gone. Thanks