See my other note below. He requested these specific cards, and that the dealer adjust specific cards, and that they use an automatic shuffler (so that they did

See my other note below. He requested these specific cards, and that the dealer adjust specific cards, and that they use an automatic shuffler (so that they didn't change order). He may not have done so directly, but he caused them to be substituted which is likely more than enough (IANAL, but I deal with too many).