Not much more to say? I’m tired to the rigmarole of summer camps and figuring out what to do with DC until September. Is there anything remotely educational that goes from mid-June to the end of August?