I assume the IRS had them stolen but perhaps you are correct and it was an IRS employee who feels like this is a noble thing to do.