I think the employees will probably be happy. The current market cap is above 5.5B. The 15% that is employee owned comes out to 825M. With 1100 employees, this

I think the employees will probably be happy. The current market cap is above 5.5B. The 15% that is employee owned comes out to 825M. With 1100 employees, this comes out to an average of 750K per employee. Obviously this won't be distributed evenly, but definitely life-changer for many employees.