Another option (and there are so many in that area) is Rock Bottom Brewery in the mall. We'll be trying out Flat Top on Wednesday this week, so that is another potential location.
My two cents alone - Rio Grande would work. It just isn't a personal favorite since I found out they put pork/pork stock in just about everything they serve, including their rice and their beans
btw,
VJ - it will be nice to see you in DC again