10000 staff at $100,000/year ~ $1 billion.

That assumes not much in benefits and no travel per diem expenses. Wow.

Real number is most likely $2.5 billion

That is just the Headcount waste.

We will also benefit from the reduction in other waste here.