In het buffetrestaurant kan men zelf een lunch of diner samenstellen. Hier vindt u een ruime keuze aan broodjes, vleeswaren, kaas, salades, warme snacks, soep, diverse zuivel, vers fruit, diverse dranken en zoetigheden. ’s Avonds is er een, dagelijks wisselende, warme maaltijd verkrijgbaar.
De openingstijden van het zelfbedieningsrestaurant:
| Maandag t / m Donderdag | van 10.30 uur – 11.00 uur |
| van 12.00 uur – 13.30 uur | |
| van 17.00 uur – 18.30 uur | |
| Vrijdag | van 10.30 uur – 11.00 uur |
| van 12.00 uur – 13.30 uur | |
| Zaterdag | van 12.00 uur – 13.30 uur
Tijdens de schoolvakanties zijn er aangepaste openingstijden voor het zelfbedieningsrestaurant. Nadere informatie is te verkrijgen bij de afdeling reserveringen. Betalingen geschieden bij voorkeur via de Domstad Chipkaart. Deze kaart is voor gasten eenvoudig via automaten te verkrijgen en op te waarderen. Deze kaart is tevens te gebruiken bij de diverse koffie en Snoep automaten (alleen locatie Koningsbergerstraat) De cateringmedewerkers zijn u graag van dienst! |