Wok Hei Noodle House, .