My current job is a much larger conservative company, so all our machines have boring meaningless numbers. However at a previous job they were all StarWars themed - 'C3P0', 'R2D2', 'Chewbacca', etc. I've also seen mountain names in the past - Rainier, Everest, Fuji, McKinnley, etc.