Openingstijden
- Kantoor: van 8:30 uur tot 17:00 uur
- Servicedesk: van 9:00 uur tot 17:00 uur
Feestdagen
- Pasen: 13 april
- Koningsdag: 27 april
- Bevrijdingsdag: 4 en 5 mei
- Hemelvaart: 21 en 22 mei
- Pinksteren: 1 juni
Zomervakantie
- Week 32: 27 t/m 31 juli
Zie ook: Servicedesk