Yeah, they appeared the King ones though probably not the very high quality Alaskan ones I recall during the pre-pandemic days. They were nonetheless excellent and I enjoyed many servings of them. This buffet is really excellent with some premium and high quality offerings, assuming one overcomes the sticker shock.

By the way, the service I received during my visit was the best I've ever experienced during any buffet. I had multiple servers who were quick to clear my plates, bring me extra napkins & wipes, and even fresh crab cruncher (no idea what this apparatus is actually called). Really top notch service.