Just wondering @vincerli do you know the history of the options.Were they a free add on to a CR or what did people pay for them? Perhaps they were issued to institutions ?How old are they? There seems to be a hell of a lot of them.I'm suspecting they were free (part of some CR in the past) and a big seller is cashing them in.