Nobody knows at this point. We’d have to wait for the first person to take a trip and report back how the checkin process went, and once we get to November, when it seems many/most of us are traveling, to see if we can change the date after December 10. I don’t think even QR knows at this point.