I was just going to suggest the host file idea too, but it could be a pain depending on how many machines you have setup there. I would suggest taking the DNS approach, since you will only have to set it up once for everyone.
By the way, why don't you just use the hostname for the URL? Where I work, our intranet web servers are all addressed like
http://spider1/