Despite the formal surroundings, the menu remains authentically New Mexican, with dishes like blue corn enchiladas and carne ...