Our last firewall was called Jeb (Jeb's Jobs Episode 1 - Technical Support - YouTube) Our current one is Ash. We also at one point had a mail server called Pat.
Recently I installed a server to take over all roles at one of my sites called Vetinari. It confuses a LOT of staff
I use a mixture, like our 3 domain controllers are named after the 3 olympic class ships (Olympic, Titanic, Britannic), but others like our file servers are called UFS-(Year of entry) or UFS-(Department). Its which ever works better for that role.
One school I worked at used Simpsons names. That's how it was when I started and I carried on the tradition. Wiggum was the firewall, the smallest physically was Maggie and then there was Mr Burns - it became very belligerent! When I left, Bart, Lisa, Homer and Marge were all generation 3, new hardware but same names. Where I work now, we use Star Trek names, but they have to be on the official Star Trek list and be Federation officers, so no Klingons allowed. I argue Bem should be, but the boss won't have it, I think because he doesn't know who Bem is. Another place I worked, used names of Greek gods and goddesses, and yet another place chemical elements. It's all good fun but it makes identifying the servers difficult. I like FS1, FS2, etc for file servers, LDAP, MAIL, DC, etc.
Just go with xxxdc1, xxxdc2 and so on here, don't like stupid names for them.
Once heard of a recording studio who'd had a tech in to set their network up, and called all the servers "penis" and "vagina" and the like. On a professional job. Idiot.
So, a teacher's class laptop, on the 1st floor of Edugeek...