Has anyone done this in Grand Bahama? Did you have any concerns or issues with the timing or sheduling?

I'm booked for March 31 at 9:30 but think I'm cutting it too close to departure time. They say I'll be back at the ship by 12:15 PM but the ship leaves at 1:00.

Any thoughts?