I am visiting DC next week and have a Pentagon tour on Friday. I would like to eat lunch somewhere around there and would welcome suggestions. I'm looking for something relatively quick, good and not too expensive. Preferably $10 or less. I'm not too picky and enjoy trying a variety of foods.