So was this automatic stop-losses fueling the drop today, or someone just dumping their newly converted options at about 11:45. Maybe a combination of both.