So all we have to do is get a server with a fixed IP (perhaps .254 since
DHCP is typically .2 through .200 or so), and let everyone know what it
is.
Pretty much. Basically this is the “minimal HAL involvement” option. Given what Randal has said, it sounds like the most likely option too. 🙂