I wonder what the actual likelihood of that is. The stock has increased at least 20x since 2008, so, assuming the employee had options beginning in 2004, they could have made a decent amount of money off that.