Is it better to play poker with an automatic shuffler or a hand shuffle?