Has anyone had a roof torn off and replaced while pool is open? We are about to have a total tear off and new roof applied next week, and are concerned about the pool. Should we apply loop loc cover during this, or just keep open? We are concerned about old roofing materials getting into pool.