That's a tough one. On a normal cruise week, 12:15 would be fine. I would not be concerned about Cruise Control schedule. They seemed very professional and notify you of driver's arrival time. But if it's after Christmas, MCO will be super crazy with cruisers, Disney, Universal, holiday travel. So airline check in will have long lines particularly Southwest. And security could be a nightmare unless you have TSA pre or Clear travel. (We actually signed up for Clear Reserve, which is a free service that gets you through security quicker).