Good. Never interrupt the enemy when they are making a mistake.
According to their own numbers:
In fiscal year (FY) 2023, the government spent $6.13 trillion
That's 16'795 million per day (!). So the $130 million they expect to collect from this sale is just a drop in the bucket 😂 (less than 1% of the daily spending).