I had lunch over at the Asia Mint restaurant at The District. It's a Vietnamese Pho (Noodle Soup). I had an order of Pho Tom (Pho with Shrimp). The portion size was reasonable and there were several shrimp in the soup. The cost was about $8.95 + tax. The service was pretty quick. You can find it near the bottom of the escalator that goes up to DSW.