The restaurant I went yesterday was called 'Harbour' (漢來海港). The buffet stuff tastes better than the usual meals in dining halls. It wasn't too much salt so u can eat lots.