$FRED Nov 15 options: 10K being sold ... same investor who sold the August 15 calls back in March?