Also of note, according to the article they spend $2.5 B on developers (ops likely included in that stat).

Another data point to illustrate that to effect total cost of ownership on a given system, focusing on developer productivity can have a greater impact than operational efficiencies.