My friend emptied his pool for repairs. After the repairs, we got some rain and it left about 6 inches of water in the deep end of the pool. That water has since turned green. He wants to refill his pool, does he need to drain the green water before starting? Or would you just fill the pool, add chemicals, and run the filter for a while? Thanks.