10000 of the 12500 were Jan 2016 4.50 puts. Read into that what you will. May just be someone hedging their bets.