Looks like I'll be in Washington DC from late on 28th July to 2nd August if anyone is in that part

Looks like I'll be in Washington DC from late on 28th July to 2nd August if anyone is in that part of the world...

I've never been to DC before, so happy to hear advice - I'll be working 31st to 2nd in Van Ness area, but weekend sort of free-but-with-a-friend (I'm meeting him there, and he's flying further than I am).

Obligatory photo, because apparently all the best social media posts have 'n', doncha know :-)