They should dock the IRS worker’s pay to get the money back. Garnish their wages. Seize the IRS worker’s homes and cars. Possibly imprison them. After all, it’s how they would handle it against you or me.
And you or I would be given 30 days to pay up or else face additional fines, fees and charges in addition to criminal penalties.