"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."

My guess is its the same plane. You would think they'd still need about 30 minutes to board passengers though. :S