IRS gets the 1099-S issued to your client and will use that for matching. I would not reduce the Proceeds on your client's return.
