Very disappointing food. Very little flavor in the beef/pork taco option - absolutely nothing Mexican about it. Also very surprised to learn they had no fish on the menu!
Explains the sparsely populated dining hall with a street festival going on outside its doors. Friendly staff was a small positive.