Exactly, we spend $663 billion with 700,000 civilian employees in the Dept of Defense. There bound to be a few billion dollars in redundancy there.
Actually, from what I saw of military procurement, it would have to be over a hundred billion, without any sacrifice in quality. IIRC, when I was in military microelectronics, 70% of the cost of the product was paperwork.
We have military -procurement system designed by lawyers.