Restaurant

Eten en drinken in de gebouwen mag alleen in het restaurant en (in sommige gebouwen) in speciaal aangegeven ruimtes. In de meeste restaurants kun je broodjes, melk, koffie, thee en versnaperingen kopen.

Rommel achterlaten in het restaurant is niet prettig voor degenen die na jou komen. Houd het dus netjes en ruim je spullen op.

Zie ook Huisregels.