Hi...I'm new Pool owner...we have been using and maintaining as per pool school successfully. Yesterday..I called landscaping guy...he did spill some mud (backyard mud) in pool...I removed the mus using vacuum and but it left yellowish/brownish spots there. I brushed those but still not able to remove. I tested pH 7.8. Other than lowering pH, what should I do to remove those spots?