we used to have a much less exciting format. In the beginning, the names worked out but eventually you end up running out of cool names. So we stuck with webserver001, dbserver001, emailserver001, etc.
Old Testament prophets, kings etc... With this number of choices, if I ever run out of ideas, I'll be able to afford to get someone else to name them :-)