They went for Dell servers: https://world.hey.com/dhh/the-hardware-we-need-for-our-cloud...

Hardware with service contracts makes sense. You can probably get the hardware even cheaper is you build supermicro servers, but then you'll spend more time on hardware support.

Dell makes a ton of sense.