Use different names for each restaurant? Or just one?
The university staff cafeteria... Yuanzhai... eat vegetarian food as alms ~ hahahahaha~~ lest all the deans eat pig brains and fat intestines ~ and mislead the students!
If only ordinary teachers go there to eat...then call it...canteen.