The options mentioned in the announcement Are they trading (if so does any one know the code) or are they like employee options etcThanksGreggy