This cannot be taken as complete - a good friend works at the IRS phones and the employees have an informal chat before they start. They are WFH and right at this moment / they say that it’s ok to keep the money.
