That is it ... their version of the 1099-S that was sent to the IRS. Be happy that you have a loss to deduct on your personal returns ... it is good news.
