Hey, is there anything planned for DC in early July/mid July? I'm passing through on the 2nd-5th, and again on the 11th...would enjoy meeting up with people if schedules happened to work. I'm sure everybody's gone for the long weekend, but on the off chance.