Has anyone had the holiday buffet at the Eldorado Hotel in Santa Fe? How does it compare to the "usual" hotel buffet fare?? Generally I've found buffets convenient, but not particularly tasty. Just wondering if anyone has had a recent experience that would shed some light on the subject. Thanks for the input.