In an attempt to answer some of the various questions.....
-I believe they want everyone off the ship by 9:00am.
-There's no assigned time for the busses back to the airport. They load pretty much continuously from the time the first passengers come off the ship and leave when full. They have different busses which will leave you at different terminals, based on what airline you're flying.
-If you have the early dinner seating and consequently the early breakfast, and you eat in the dining room as opposed to the buffet, you should be finished with breakfast well before the ship is cleared. Probably a half-hour or so. If you leave the ship when it is cleared, you'll have plenty of time.
I think I agree with Castawayfan, if I had to choose between 11:30 and 2:30, I'd take 11:30. Our return flights are usually at 12:45 because that's the connection that works best for us, with a minimum of time waiting for our connecting flight in Dallas.