This is our first DCL cruise. The only air I could get to go back home was at 4 pm. We will not have a car because we are going to WDW before our cruise. From what I understand, we will disembark about 9 am. I am wondering what to do from about 9 am to 2 pm with a very active 7 year old and an impatient 15 year old. Anyone with any ideas? Thanks.