Ah the fun of naming servers, but what on earth are you going name them and how are you going to come up with 5, 10, 100, 500 different names? At my previous job and at home I used BSG callsigns to name machines. Apollo, starbuck, hilo, boomer, hotdog, etc.
If you need some help naming machines, maybe these ideas will help you out.
Battlestar Galactica Callsigns
Star Trek Characters
Simpsons Names
This is the #1 upvoted and accepted answer via stackoverflow.
If you need to name ALOT of machines, I suggest going for river names or mountain names. Almost endless amount of names you could use. Of course you could go with generated machine names, but actual names are easier to remember and a lot more fun.
[Via Stackoverflow]