Yes. At least they were smart enough not to buy options. :-)
https://www.bloomberg.com/view/articles/2014-06-17/there-mig...
https://www.bloomberg.com/view/articles/2014-06-17/there-mig...
thanks.
If whoever owns those options exercises them today (And covers their short position at a price of $125) they will make ~$2.5m on a ~$200k bet.
This is why the options market is the first place regulators look on insider trading.