What president had them brought in? Not to get to off topic, I think it would be fun to name presidents and what pinball machine they might pick for themselves.
Very quick off the top of my head:
Trump: Monopoly
Obama: NBA Fastbreak
Bush: Fish Tales
Clinton: Playboy