Nice restaurant
Cafeteria with pizza, burgers, Chinese food, burrito bowls, salads, sandwiches, coffee, and soda. Food is pretty basic. Three stars for convenience.