(a) If appropriate to the play of an approved Texas Hold’em Poker game, a Board-approved mechanical shuffling device may be used to dispense each player’s cards, and/or the community cards, as a group, to the dealer. The dealer shall then deal an intact group of cards from the shuffling device to each player, and/or to the community card area, as specified by this chapter.
(b) If appropriate to the play of an approved Texas Hold’em Poker game, a Board-approved electronic shuffling device may be used to deal each player’s cards, and/or the community cards, as a group, to the dealer. The dealer shall then deal an intact group of cards from the shuffling device to each player, and/or to the community card area, as specified by this chapter.