I wanted to add Modern Pinball, in NYC to the list, but sadly they closed due to COVID. While it was a small shop, they rotated machines frequently and had a number of historic machines available for play.
Also the legendary Steve Epstein was involved in the business. Steve ran Broadway Arcade, which at its height in the 80s had over 144 pins. It was my local arcade growing up and sat where the Times Square Church and McDonalds on 51st st now occupy today.
Palace Playland in Old Orchard Beach, Maine used to be a great location for pinball as well but has long since gone the Family Fun Center route instead. I think most of what they had moved to Maine Silverball Tavern in Saco.
I also hit the PHoF in Vegas every time I go. Great collection.