The card dealing in casinos today is done by a dealer provided by the casino.