Perhaps a bit off topic - any one hear anything about the transition of int'l flights to the new terminal in JED? I read that July/Aug could be target, but seems the airport is completed and all 46 gates being used already for domestic ops (and it's been open for more than a year now) - not sure I'm grasping the delay.