Restaurantje den bosch

Wij gaan in de kerstvakantie een keer 's middags naar de Brabanthallen in Den Bosch. Wie weet een leuk restaurantje geschikt met de kinderen van 6 en 8, wat een beetje handig ligt t.o.v. de Brabanthallen (in elk geval makkelijk aan te rijden/parkeren, wij komen met de auto) om daar na afloop van de voorstelling te eten? Waarschijnlijk willen we dan vrij vroeg eten, dus restaurant moet dan wel open zijn (kan ik overigens zelf checken).
Wij komen uit de richting Utrecht.
Alle tips welkom.
Alvast bedankt.