I think we've talked about the terminal changes on the forum before. I believe DCL is actually going to share the other terminal with NCL when Disney has 2 ships in port. And while it's a bummer that the DCL terminal is going to close for a while, I bet it'll be amazing when they re-open!!