It’s opening day and unfortunately I have a very green pool. I got the equipment working yesterday, and added chlorine last night to get things started. Is it better to remove the cover and brush the pool; or is it worth it to leave the cover on for a few days so the sun doesn’t degrade the chlorine as quickly?