Just curious, anyone know if the IRS gets notified of the sale and selling price? It would seem to me that the IRS would require the auctioneer to provide this information on all their transactions. Otherwise, they wouldn't get their pound of flesh.