Headed out to Vegas next weekend. Wanting to know, for double deck 3:2, what casinos have shuffle machines and which ones have the dealers use their hands to shuffle the cards. Any input along these lines would be appreciated:
Example: "I know that XXXX, XXXX, XXXX use machines for double deck, while XXXX, XXXX, XXXX have their dealers shuffle the cards with their hands."
Example: "I know that XXXX, XXXX, XXXX use machines for double deck, while XXXX, XXXX, XXXX have their dealers shuffle the cards with their hands."

