Just closed an inground white painted concrete pool a few weeks ago. I am brand new to this, only had the house a few weeks. A windstorm blew up our tarp cover and leaves got in the pool. There is a decent amount (not completely covered or piled) of leaves on the bottom. Do I need to worry about permanent stains? Removing the safety net and cover would be a chore given my current schedule and weather forecasts, but don't want to damage the pool. I am not worried about extra time in spring to clean water, only permanent stains or damage. Thanks!