[maxerickson]

The CEO pay there is ~$0.30 per person in the US. Healthcare spending is about $12,000 per person.

Seems likely enough that adding another 100 CEOs wouldn't make the total much more.