Comment by preinheimer

They've had several options for employees to liquidate some of their holdings before now. They've generally only been open to current employees, but one a few years ago was also open to past employees.