It's surprising to me that they use actual boot drives and don't just boot their machines off of USB sticks or via PXE or like those fancy Dell dual redundant internal sdcard modules.
But perhaps the boot drives are just leftovers that are too small to be used any more for storage?