I’m taking my son up to Cincinnati for a baseball game and a trip to Kings Island. The forecast doesn’t look great, so I’m trying to be prepared for an alternate activity. Restaurant suggestions are also appreciated. We’re staying downtown but can drive if needed. Thanks!