[tarikjn]

What difference does it make? It cost them more than $6.56M in the end but to deduct the building at a fair price they had to auction it and nobody bid higher than that.

[relaxing]

The difference is a foreclosure auction isn’t an accurate measure of value.