Empire Center buffet

Happy Holidays everyone, visited the Empire Center and there used to be a buffet by the REI. I’ve forgotten the name of the place and can’t remember 🤔 what it was called. Does anyone remember the name of the establishment? Thank you very much.