Well remembered but I'm not sure why you are discounting that they might have actually won a lot of Bitcoins.
I know you didn't reply to me but someone else but I think I can answer all the shock here from the people. This dude wagered an insane amount of wagered, sure 5% house edge may have ended up eating a huge chunk of his money, or maybe he won, or maybe he lost a lot more than just 5%. Really anything could have happened, this guy may have lost 4k bitcoins, won 4k bitcoins and anything in between is possible and that is not the point here.
The point here is that this dude wagered over 4k+ bitcoins, that is nearly 200 million dollars, I mean a person wagering 200 million dollars is surreal you are aware of that right? In 6 month span as well.
If Elon Musk decided to wager 200 million dollars per 6 months that would have been a huge news, this would have been a news all over the media, we are talking about numbers that is world elite wealth level, like top 10 super rich people in the entire world level of rich people, that is WAAAAY too much money to gamble. Maybe you guys are rich as well so it is not a shock to you but to us who have like 0.1 bitcoins as our savings, I am incapable of even understanding that amount.