would be interesting. If he had a player card in machine and she should have been the winner for pulling the handle, then the casino probably would have voided the play as it wasn't her card.
The casinos have tons of rules - not one of them favors the player