Best restaurant - Jimmy Buffet's.
No cruises added
This port is a waste of time. The ship was docked in the middle of nowhere, overlooking a limestone business. There was really very little to do there. It would have ben much better to stop in Cancun.