Oh, I see them now. When I couldn't click the machine names in either the pop-up box on the map or the top-level of the location panel, I gave up too soon. I needed to click on the location to expand the details first, gotcha. I see there are also links to Pintips there (example: https://pintips.net/games/41). Cool!
Yeah, that first list is just kind of a quick overview of the location, and then you get more detail when you click into it (as you found).
We worked with Andreas, the Pintips developer, on developing the Open Pinball Database (https://opdb.org/). The games on pintips and on pinball map both share an OPDB ID. On his other app - https://matchplay.events/ - you can automatically populate your tournament with the machines listed at that location on pinball map.
I suppose we could make it more obvious!