My boss is the sysadmin for my school's CS department; there is an IT department that every other department uses, but they're slow and useless. For the longes

My boss is the sysadmin for my school's CS department; there is an IT department that every other department uses, but they're slow and useless. For the longest time, their servers were named after ships, such as Bismark, Arizona, Enterprise, etc, while all of our servers were named after things that sink ships, such as Broadside, Salvo, Crash, Leak, etc.