I'm doing a ten day Morocco and Canary Islands cruise out of Barcelona on the Spirit in December. What would be the earliest flight time you would suggest for flying out of Barcelona? We are supposed to dock around 5am and I'm looking at a 12 noon flight. Is that sufficient time?