Bruce at the BAO realized that flux must have a dhcp server running, because when Dan Wolfe connected his laptop this morning it got a 192.168.0.176 address instead of 10.173. It does not look to me like the dhcp server is needed on this project, since the DSM addresses are set in /etc/hosts, so I disabled it:
[root@flux dhcp]# systemctl stop dhcpd
[root@flux dhcp]# systemctl disable dhcpd
Removed symlink /etc/systemd/system/multi-user.target.wants/dhcpd.service.