We read quite a few recommendations for Holiday Inn Port of Miami as being convenient to Biscayne Blvd. shopping, restaurants and the cruise ships for our departure the next day. We're coming in at noon the day before a cruise. This location sounds convenient but wouldn't mind a hotel a little nicer than what the Holiday Inn appears. is there something else near the Port that is a bit nicer but also convenient.