Have you seen any casinos that let you "cash out" to Bitcoin?

How could casinos set this up?

Casinos adopting Bitcoin would be very bullish. We should push for this if it's not already the case. There's profit to be made.

Imagine walking into a casino, you go to an automated chip dispenser, scan to pay with Bitcoin lightning, and walk away with a handful of chips. Then you gamble for an hour, walk back to the same machine from earlier, insert all your chips, show a QR code and get paid in Bitcoin lightning and go home. There will even be an option to get a portion in physical local fiat money.

The casino could even use a BTC anonymizer, and make a deal with a big Bitcoin exchange to guarantee selling their BTC no matter whether it's mixed or not. This would enable the casino to be used for some beneficial "unintended" consequences. It would be a way for customers to spend sats that might otherwise be difficult to spend.

Has anybody developed gambling machines where you can deposit money via Bitcoin LN?

And the casinos could always hold BTC as their reserve currency.