Heck, even at a 10% discount. e.g. the IRS claims this is worth $65 million so there is an explicit offer to buy at $58.5 million and the IRS can make a bundle on the taxes and then on selling it for its "real" value.