So I went and followed the wizard for setting up internet sharing up and it worked...sort of. My problem was that DNS didn't seem to work-I couldn't ping the server while connected using Ethernet. I also couldn't connect using wireless, although that is expected with NAT.
It appears that a...