I'm looking to book a flight that arrives in Bahrain at 9 h30 and departs at 9h35. Is that cutting it short? I've been to Dubai airport and I agree it's huge, but never been to Bahrain.