According to HAL's FAQ on what to pack, it states that on gala night men "usually" wear sport coats or suits. Does anyone know for certain if suits or sport coats are required for the MDR on gala nights?
You might want to check out the Holiday Inn Port of Miami. It's located across the street from the Bayside Marketplace. They have a pre-cruise package that includes the breakfast buffet plus a shuttle to the cruise port.