Bocados is a cafeteria offering a variety of food and beverages.