Plaza Alta is a cafeteria offering a variety of dishes, known for its churros.