We tried the cafeteria menu. A double burger. Very...

We tried the cafeteria menu. A double burger. Very rich and very good size. But we saw that other diners ate dishes that were not on our menu. And we don't know if they didn't give us some other kind of a la carte menu.