Hey TFP community. We've been using our autocover as a winter cover in Maryland. While winterized this year, we experienced flooding rains and quite a bit of muddy run-off ran into the pool. I drained off the excess water back below the tile, but the remaining water was very mirky. It eventually settled out, and now I am left with greenish water with a layer of mud on the bottom. It scatters easily when brushed. What's the best plan of attack for opening? Should I run my Dolphin now and try to filter out as much mud as possible? Should I open and then use the pool pump to vac to waste? Or should I hire a pool company to use a deck vac to vac to waste prior to opening? Or can I just open as I would normally and let the pool filter clean up the water? Appreciate any advice as this is only my second year opening.