<...>
Judging the way some casinos offer fairly quick withdrawal in BTC, I would assume they keep a good percentage of money in BTC.
Yes, that may be true. But there are services for such things. Payment providers. Today, anyone can accept deposits and pay out cryptocurrencies, regardless of their base currency.