The above seems accurate as I had a similar situation (probably same ship Disney Magic). Walked off the boat at 7, taxi was easy to get at stand, airport by 7:40 and had to wait to check in because they didn't have the counters switched over yet. Minimal lines at passport control and security. Was at my gate around 9:15 for a 11:15 am flight. This all occurred on a Tuesday though, which may explain the small lines etc.