I'm Pindigo's dev. Thanks for the plug!

Our locations are sourced from Pinball Map; scores can be tagged with locations which allows us to maintain leaderboards for specific machines (in addition to global/social/event leaderboards).