Also at noon worthwhile since there are three diff...

Also at noon worthwhile since there are three different cafeterias to choose from. One each with Asian, Japanese and Swiss cuisine.