Unless its an annual leave ticket or a pass for travel on other airlines (or for ticket refunds), there is really no reason to even go to Staff Travel, or the airport for ticketing (supposedly we aren't supposed to go there anymore, but can now go to any other Gulf Air Ticketing Office).
But as I said, no need. I think all GF destinations are E-ticket ones; make the ID booking on-line, check payroll-deduct and within minutes if not seconds "Almost There" sends the e-ticket to your @gulfair.com address. Could that be any easier?