Several of us will be getting together on Thursday, June 5, @ 7 PM. See "DC reunion?" thread for details!