There’s an iOS (and maybe Android?) app called pinball map. It displays # of pinball tables geographically along with more detail on name/manufacturer/year if you have a preference for say - Williams machines from the 90s. Good for solo work travel.