We will be on the Navigator of the Seas Oct. 15. This is our first cruise and we are all excited. There are 7 of us going. Myself, my wife, 4 of our kids and one of their frinds. 4 teenagers and a 10 year old. Leaving out of Miami. Anything we should know before we go. What is the earlies we should arrive at the Port? Thanks.