You guys assume that he didn't delta hedge the options, i.e. he didn't sell the exact amount of BTC needed to lock the gains from the options mispricing, as I explained earlier. I'm pretty sure that's exactly what he did and he locked a gain for any price of BTC < $5000, with the additional twist of counterparty risk (if the BTC was sold in the same exchange that's less of a problem).