I assume the spray mixture is to be used once the cover is OFF the pool?