$4.3M isn’t much money. That won’t even pay for a Fed agency’s beer.
It should have been $430 million and tax free.