13.05-13.10 open and down to 12.50 close. Most active option was the weekly 12 puts. You better believe those were owned primarily by institutions to hedge their long position. They'll dump at the open tomorrow morning and cash out big time on the puts as the day wears on. Such is the life of wall street.