Eu recomendaria não fazer nada em que você estivesse substituindo as configurações de horário dos sistemas associados ao domínio local.
O que você deve ser capaz de fazer é alterar o servidor de horário definido no controlador de domínio que detém a função de emulador de PDC para apontar para o relógio do campus. Isso deve resultar em todos os computadores em seu domínio permanecendo corretos em relação a esse sistema.
Existem algumas coisas horríveis que acontecerão se a diferença entre os controladores de domínio e os sistemas que fazem parte do domínio ficarem muito grandes. Este é o caminho mais seguro para ir, imho.
EDIT - por sua solicitação, isso deve fazer o que você quiser. Execute em seu emulador de PDC.
w32tm /config /manualpeerlist:<you.rip.add.res> /syncfromflags:MANUAL
w32tm /config /update
O endereço IP listado deve ser o do servidor de horário do campus.