Sorry I got hours and minutes confused and overstated the benefits. So the correct numbers would be 7.5 minutes of downtime divided by 43,200 minutes times 1,0

Sorry I got hours and minutes confused and overstated the benefits. So the correct numbers would be 7.5 minutes of downtime divided by 43,200 minutes times 1,000,000 servers. That’s 173 servers wasted. That is probably still enough servers wasted to devote some engineering time to increasing utilization.