Você pode verificar os tempos de espera para diferentes aeroportos aqui: awt.cbp.gov . Observando o ORD nos últimos meses, os tempos de espera para não-cidadãos são da ordem de 20 a 30 minutos, mas o tempo máximo de espera pode chegar a 110 minutos. Depende muito da hora da chegada e de quais outros vôos chegam ao mesmo tempo. Duas horas parecem factíveis, já que os altos tempos máximos não são tão frequentes.
Você é sempre bem-vindo a usar a linha que não é dos EUA na imigração, mesmo como cidadão, por isso não é um problema esperar na fila de seu aluno. Você também precisará levar algum tempo para coletar e verificar novamente os sacos depois de passar pela imigração.