[YeBanKo]

We don’t really know how much he tied up in this transaction. Depends on strike price and expiration date.