Has anyone ever sailed out of Miami on the day of the marathon? We are actually flying into and staying in Ft. Lauderdale the day before departure (DC area airports do not fly direct to Miami). We are planing on taking a 9:30 shuttle in from our hotel. I understand the marathon starts about 6:00 am and wraps up early afternoon. Does anyone have experience navigating to the Port of Miami when the marathon is in progress? Should I be concerned about the shuttle time and arrange a different method of transportation for a group of seven?