The valuation is given by IRS, so if they value it so high to get taxes (they jumped from 15M to 60+M just like that), they should also be able to buy it at the

The valuation is given by IRS, so if they value it so high to get taxes (they jumped from 15M to 60+M just like that), they should also be able to buy it at the valued rate.