Use the flight type, not the airline name: every domestic flight is handled at T1 and international flights use T3. T2 is CIAL’s business-jet terminal. Check that distinction before your driver enters the terminal roads because T1 and T3 are separate passenger buildings.
