Last year I had one patch, this year it has spread. I am convinced that this stain is coming through the plaster, perhaps with algae attaching itself to it. Could it be the gunite? any ideas, thoughts? shocking doesn't seem to budge it and it doesn't brush off. It is very rough to the touch.