I have just replied (about Emirates) on another thread - the only warning I would give about Gulf Air is that they are notorious for not making 'on time' departures - if you are flying with them all the way then that shouldn't be a problem - and the price difference is appreciable