Tendo feito isso agora, posso dizer que a resposta que eu havia aceitado anteriormente (Terminal 4) estava incorreta . O voo em que eu estava (um da American Airlines) pousou no TBIT. No entanto, foi bastante fácil "transferir" para o Terminal 4 - depois de voltar a colocar a minha mala, estava apenas a uma curta caminhada do lado de fora - bastante óbvio depois de ter visto um mapa de terminais.