Não, você não precisa entrar em contato com o Help Desk de TI. Eu trabalhei em um ambiente colegial gerenciando os servidores de TI e, dependendo do gerente do Help Desk, eles podem ser muito competentes ou muito pelo contrário.
Além disso, acho que você tem o suficiente para começar. Siga este artigo da Apple como ponto de partida. O nome do servidor seria o servidor front-end ou o site que você usa para fazer logon no e-mail da escola usando o navegador da Web.
O domínio seria o domínio que você usaria quando fizer logon nos computadores da escola no campus. As chances são de que seria algo tão genérico como ESTUDANTE ou ACADÊMICO. Se você não sabe, uma chamada rápida para o IT Help Desk seria suficiente, quer dizer, eles teriam que saber disso.
Espero que isso te leve a um bom caminho.