The above is correct unless, by chance, you are routed to the main terminal. If that is the case, simply follow the signs or ask any AA agent for directions to TBIT. All airside, so no additional checkpoint to clear.
Please confirm that you are on a single ticket.