Is it better to drain the pool and raise it or drain and dig down 2" +/-