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