Wow. I was way too optimistic. Sold these yesterday: .DAVXG DIA DEC 85 Puts at 6.20. Today, they are over 10! Profit's profit though.