He filed the Diminished Money Counterclaim in federal court for $350. That is now dismissed because the judge could see no injury around the $5 US note. The suitor, upon filing in the USDC filed his original 1040 wet ink Form with the IRS campus as usual but it was an attachment inside the DMC.

He got a full refund in record time.