We booked our upcoming May 7th cruise last minute. I'm not sure that we are going to get our Disney cruise luggage tags and other documents that usually come in the mail before we actually leave home to fly to Florida. Has anyone ever had this happen? When we get to the terminal we usually let the porters take our luggage as they have the tags on them with our room number. Do we take our luggage inside the terminal with us?