Not restaurants, but private dining halls
It is a kitchen dining room situation with a small coffee bar area, not a choice of restaurants.
No. There is a kitchen used to cook for the campers but it is not open to the general public.
Thanks! Your answer is awaiting moderation.