we do this as well; the inspiration came from the engineering machine names at umich.edu. Edit: umich had a lot of funny machine names. The login servers were

we do this as well; the inspiration came from the engineering machine names at umich.edu. Edit: umich had a lot of funny machine names. The login servers were named for console video games (galaga, moonpatrol, galaxian), while the kerberos servers were (inexplicably) named for schwarzenegger movies: terminator, redheat, lastactionhero, etc.