Apparently some casinos perform a mini manual shuffle followed by the putting the cards in an automatic shuffler. Anybody know why? Sounds like Overkill? Pun intended.

No chance that the automatic shuffler is not really shuffling, correct?

Why the seemingly redundant shuffling?