This is true; however, their agency budget is not part of the DoD's budget and is not included in the reported "total" for DoD.
At least not in the data set I use:
https://www.usaspending.gov/explorer/agency