Been a while since anyone posted here so I figured I'd provide an update.  There is a brand new, really nice dedicated pinball area now by the bowling alley.  Tons of new pins plus a whole bunch of high end restorations in there.  It's an entirely new level of dedication to pinball than Funspot has had over the years.  Definitely worth a trip.