When the bot has stopped quoting, then exercise occurs at the last quoted price.  So nominally he is still only down ~6500BTC.  Who knows how MP will interpret the contracts if Mt.Gox goes under.  But usually his interpretations are profitable for the site (and S.MPOE).  Waiting till closer to OpEx to see how this plays out...