Thanks, I will shock it tonight.

The red stuff was more like a red dust but what got me was it was a lot there even with the solar cover on. It usually keeps it pretty clean.

Do I need to keep brushing it daily to try and keep it off the bottom and walls?