Right, but the $700m valuation was preferred, and the employees likely paid AMT tax on the FMV (about 10-30% of that value). It's certainly sad but at least they can write off the AMT loss against capital gains if they have any and wish to, or take the $3,000 credit every year.