So bought it for $1.25 billion, sold it for $800 million 16 years later. That's kind of painful. Of course, the execs who made the decision to buy it are almost certainly long gone...