несколько RP используют Wi-Fi Интернет по кабелю с такое же имя хоста. Поиск приоритета?

У меня лаборатория с точкой доступа Wi-Fi. Студенты подключают свои ноутбуки к этой точке доступа. У каждого студента есть RPi3, который использует Wi-Fi через кабель. То есть каждый ноутбук студента действует как шлюз с wlan0, внешним интернет-интерфейсом и eth0, внутренним интерфейсом LAN, подключенным к RPi3

Ноутбуки - это боксы Ubuntu, а eth0 используется совместно с другими компьютерами с помощью NetworkManager. eth0 IP - 10.42.0.1, а RPi3 eth IP назначается динамически (dnsmasq), обычно в диапазоне 10.42.0.13X

Мой вопрос: поскольку все RPi3 имеют одинаковое имя mDNS raspberrypi.local, и студенты будут ssh (скрыто) есть ли какой-либо приоритет поиска имени хоста в avahi, который всегда будет выбирать локальный RPi3, что избавляет от необходимости указывать уникальные имена хоста каждому RPi ученика?