Question on Deck set up

[detroitplayer]

One of my pet peeves is when dealers wash/shuffle the cards after every hand, only to put them in an auto-shuffler.

Wastes a good 30 seconds per hand which really adds up over a session.

I've always wanted to say something but never have been drunk enough to do it. heh.