By the way, are those automatic shuffling machines at the blackjack tables at the Mirage? I just noticed them. Since I am not a blackjack player, I don't know.