A casino card dealer is a professional card dealer.