Is there any place closer to the mall? He'll be taking the metro in from Springfield and getting off at the Smithsonian stop.
One thought I had was walking over tothe Marriott and checking it with the bell captain but if there is anything closer, that would be cool.