Ouch...

Damn, that's over $100,000 lost in one bet... Must have been painful.
I don't get why he didn't reduce his max bet, losing bet was inevitable in a long run.
Actually I think he is still 9.5 BTC in profits indeed.
And that's what's really amazing. The guy loses $100k in one bet, but still ends up with (nice) profit. So overall it was worth it. If he's in the right mindset, he should still be happy.