I agree with Ross that having different names for servers vs. services are
a good thing. It helps if you need to put up a temporary server for some
reason ore during a migration. In that spirit, our Library Catalog server
is libcat to the world, but the real name is jules (the database server is
verne).

As far as servers that I get to name, I tend to name them after Grateful
Dead songs. However, in the past I worked at a place that used Greek gods
and goddesses, and another place used board games.

Edward