I was there this weekend with my son playing. Yes, some of titles are thrashed, some have 3rd flippers that don't work, some the ball gets stuck constantly, but for 25 cents a game, it sorta makes up for it. I own a condo at 10th and Ocean, was seriously considering contacting the owner and telling him if he provides the parts, I'll fix them in exchange for free plays on them. I rent for the summer season, so I'm only down every so often, so it wouldn't cost much on his part.
The arcade down by Wonderland has I think 6 pins, SM, IJ4, Batman, and can't remember the rest. They are in much, much better condition but are 50 cents a game.