<< There was one smart senior engineer there that had put options as insurance against all his shares.>>

Not sure what the rules were at that time, but most public companies restrict you today from owning any derivatives in their stock.