NOBODY asked for a deck change! Maybe that was an anomaly.
Deck changes are not permitted on tables with shuffle machines.
"Not permitted"? There were limits as to how many set-ups you could get in a fixed time period at GC, too. But if I want a deck change, it's not that hard to damage a card...