Poker themed pinball on e-bay. The price seems steep but I have no idea.
https://www.ebay.com/itm/Pistol-Pok...109010?hash=item1eed6921d2:g:rMoAAOSwvFhakj80
https://www.ebay.com/itm/Pistol-Pok...109010?hash=item1eed6921d2:g:rMoAAOSwvFhakj80