No, this is a tiny, personal LAN, not a corporate intranet. I am the only physical user at the moment.
Actually, it turned out to be easy to switch my domain from mynet to mynet.local. I just needed one command on each box:
grep -lr mynet /etc | xargs sed -i ‘s/mynet/mynet.local/g’
Then just restart the network.
I’ll try again with this setup until I can come up with a safer solution. Thanks for all the help.