We havnt yet, but we are in november. We booked the jw marriott marquis, its very upscale, quite expensive normally but we got a great deal for the 1 night. Its right downtown. I researched hotels to death and most cruise experienced people seem to like the intercontinental hotel, also downtown but we have never stayed there. It doesnt appear that any/many decent hotels in miami offer shuttles either to the port or from the airport so we resigned ourselves to taxis. Hope this helps you