Well, I'm willing to consider other options, but the "good enough" comparison you're making isn't an equivalent comparison.
Speed is the goal. There is no way we can rent a server with the specifications I'm looking for.
I'm still rearranging items to fit under budget (would rather have $6000 for a 4 socket, 48 core machine), but the current specs look like this:
16 cores at 2.8 GHz -- we need massive threading to compile all the PC/Linux/Mac flavors quickly.
64G Ram -- gitian deterministic builds need lots of room. I want more, but am having to compromise.
2TB SSD -- Lots of very fast I/O for above. 1TB OS/Userland (low wear), 1TB compile (high wear) - the Samsung 850 Pro's I'm looking at are rated very well and are a fantastic value for the money. -- I'll probably shrink these in lieu of ram after gitian profiling.
12TB Disk -- Lots of space for backing up every service we have and storing every compiled artifact for ipfs (internal) distribution. Am looking at WD Gold 6TB's.
I do agree we could do it cheaper, but only by compromising attributes I wish to build upon.
You've made a good case, and answered the most relevant questions, no need to nickel and dime it. I'm sure your proposal will pass.
Pablo.