There's absolutely no way they already have all the $7.9b. That's not how government contracts and accounting works. DOGE/Trump can just slice whatever remains of the rest of the contract and then they'll bicker at each other in court for a decade until nobody cares anymore.