Thanks, yes, the problem was the domain name, not the IP address. I ended up deciding to give up on Zentyal 2.3 and trying 2.2, and while installing I unplugged the network cable until it gave me the option to enter a static IP address and domain name. But it's nice to know there was a way to do that without a reinstall.