BOY were you right. We ate a late lunch / early "first supper" (we have a nearly-14-year-old; he eats one meal a day: From the time he gets up until he goes to bed) there after our tour of the Capitol. WOWSERS. I had baked oysters with celery root, "salad of the three sisters" (squash, beans, and corn — which I’ve been able to reproduce), and fry bread (for which they sell an excellent mix in the gift shop). My wife had a mango pepper salad and my son had a "bison burger". I’m only sorry the one station was closed with the seabass ceviche! Top quality food, well prepared; we could have gotten a beer or wine if we’d wanted too.
I’ve filed all the other suggestions for other trips. We intend to keep going back to DC and do a few things at a time for the next few years.