I did not see a pinball machine, but they do have a game that gives you multiple chances to pull the handle and push a ball through a circular maze for high point values.
No pinball.
Did not see pinball. Sorry Sir.
Thanks! Your answer is awaiting moderation.