We don’t want the loan documents. The Deed of Trust is public Record.
We want to see proof of payment.
I'd love to see how it was treated on his 1040, too.
Among other things, remember, relief of debt is ordinary income!