Don’t worry. You’ll make an 11:45 flight. Delays by cruise ships are very much avoided and are very rare. It’s in their best interest to get you off as early as possible. I could’ve made a 10am flight the last time. Realistically if you’re ready to go when they open the gangway you’ll be outside by 7am. Just tell whatever shuttle you use that you plan to be off ASAP. They know when these ships disembark. Our shuttle even stopped to pick up a few passengers off a Disney ship on our way and I was still at the gate by 9am.