I personally would sell maybe 0.00001 BTC (about $10 if I'm not mistaken).
If that would happen then of course OI would sell all of my Bitcoin at once because there is no reason to be waiting for the Bitcoin to still get higher. I think that not only me but everybody who own a bitcoins would sell it.