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.
Doesnt surprise me one bit. We can cut parts of the defense without touching weapons, personnel or benefits.