That's definitely out of date information. I've been going there for years and I've never seen them do a buffet option. They are in the process of making some changes, mostly to the hours they serve food, so that's a good excuse to get down there and see what's going on. In fact, maybe I just better go over there right now and check up on things. Specifically chile rellenos with spicy pork.
I haven't seen them do that in a long time. I'd call to confirm.
Thanks! Your answer is awaiting moderation.