In the world of casinos, the operation of gaming devices…