I'll be coming in from NY for the day. I'm looking for a place to have lunch near Union Station or within a few stops on the Metro. I've done a search and come up with Teaism on 8th as a possibility. Any other recommendations for a NY chowhound solo diner? Anything but Thai, as it's hard to imagine a better Thai place than Sripraphai in Queens. Or perhaps there is a better Thai restaurant in DC?