Openingstijden
Portiersgebouw
| Maandag | 08:30 - 23:00 |
| Dinsdag | 08:30 - 24:00 |
| Woensdag | 08:30 - 24:00 |
| Donderdag | 08:30 - 24:00 |
| Vrijdag | 08:30 - 02:00 |
| Zaterdag | 10:00 - 02:00 |
| Zondag | 10:00 - 22:00 |
Receptie & kassa
| Maandag | 09:00 - 17:00 |
| Dinsdag | 09:00 - 17:00 |
| Woensdag | 09:00 - 17:00 |
| Donderdag | 09:00 - 17:00 |
| Vrijdag | 09:00 - 17:00 |
| Zaterdag | 11:00 - 16:00 |
| Zondag | 11:00 - 16:00 |
Grand café Het Schaftlokaal *
| Maandag | 10:00 - 22:00 |
| Dinsdag | 10:00 - 24:00 |
| Woensdag | 10:00 - 24:00 |
| Donderdag | 10:00 - 24:00 |
| Vrijdag | 10:00 - 24:00 |
| Zaterdag | 10:00 - 24:00 |
| Zondag | 10:00 - 22:00 |
Keuken Grand café Het Schaftlokaal
| Maandag | 11:00 - 20:30 |
| Dinsdag | 11:00 - 20:30 |
| Woensdag | 11:00 - 20:30 |
| Donderdag | 11:00 - 20:30 |
| Vrijdag | 11:00 - 21:00 |
| Zaterdag | 11:00 - 21:00 |
| Zondag | 11:00 - 20:30 |
* Indien er culturele activiteiten of bijzondere evenementen plaatsvinden in het Portiersgebouw, kunnen de openingstijden in grand café Het Schaftlokaal worden verlengd.
