We had our coping stones set today and they dropped some mortar in the pool. Is there anything special I should do to clean it up? I assume the filter will do it's job if I keep the pump running and I will let the Prowler get the stuff that settles to the bottom?