No, in fairness, it was on the grounds of the actual Capitol while we were both doing the obligatory taking our out-of-town relatives to see the sights. I rarely get down to the Hill area (or even know Congress is in session), but I do remember Tortilla Coast having good nachos.