60k workers is only ~18 billion. Maybe 36 billion. Maybe even 72.

That's small potatoes vs their new excess capex spend of 100sB/y.