Since DisneyQuest is closing this summer, I was wondering if there are other arcades anywhere on the property. My BF is a huge retro gamer and loves to play on the old game cabinets, and I have no clue if there would be anyplace that has some. Just curious.