Of course they report it to the IRS.