> would require several times more manpower

Or they could be several times more efficient. $17.5 billion/yr can do a lot.