That's the Pinball Parlour I "cut my teeth" in when i was younger . If they're the same pins he's had at the site all this time chances are they're the ones I played all those years ago.
Very likely the same ones, he had them from brand new. I can vividly remember the day they got in a brand new Terminator2 pin, people lined up waiting to play it.
The pinball parlor owner told me recently he took about $900 from it in the first day!! That game would've paid for itsself in the first week they had it