We also just got off this cruise. The whole process to get on to the ship was awful (customs, etc). Our plan landed at 11:55 and by the time we made it thru entire process, we didn't board until 3:15 pm.
On the way home we got off the ship at 8:55 am and arrived to the airport early. Our flight was at 2 and we stood in a line and made it up to another line to check in three hours before. Our boarding time was 1:20 and by the time we made it thru all the lines (customs, etc) it was 12:55.
Please allow plenty of time.
The cruise was great.