I had plaster applied to our pool yesterday, and this morning noticed these brown spots in the pool floor...the plaster guy says their seeds from a tree in the yard, and he may or may not be right...the tree cannot be removed at this time, has anyone seen similar stains in the their pool, and is there something I should be doing to help prevent permanent damage here? The pool is still currently being filled...