Someone bought some really long dated puts last year which they exercised today. Lucky person. I doubt the other side of the trade was too affected, this probably would have been hedged at the time the put was sold last year.
$9 though.... someone is laughing.