Thanks Charlie. If they were just running the spread trade, wouldn't exercising the options cover their shorts? Or is there a timing or other issue there?