Normal
I forgot to mention in my answer on the other thread. Make sure to check departure time. It seems some cruises leave at 10 and others at 8. I'm on 9/28 and our itinerary says 8. If there are a group of you, you may want to look into private transportation. Check out the boards here and at cruisecritic for the name of one that seems to be good, Art's I think. Have a great time.
