хм.. а как в пфсенс для подсети указать отдельный днс?
можно для такой сети сделать отдельный интерфейс и заставить DHCP выдавать нужный ДНС. Но удобнее собрать все компы, которым нужно закрыть все интересные части инета =) и редиректнуть их днс-запросы на нужный нам сервер, т.к. протокол и порт таких запросов нам известны априори. Типа такого правила:
/ip firewall nat add chain=dstnat protocol=udp dst-port=53 src-address=ХХ.ХХ.ХХ.ХХ action=dst-nat to-addresses=YY.YY.YY.YY
Только прибить им в настройках дхцп статику. Тогда для них все днс-запросы уйдут на нужный сервер (YY), а для всех остальных - на дефолтный. Еще можно создать address list с айпишниками студентов и ограничиться одним правилом, заменив ИП источника списком адресов.