Is this the same guy who sold all his RRSO October 2007 options 24 hours before the cut-off date for the option extension offer?