I am semi-retiring effective August 10 and thought perhaps I could combine my celebration with a meetup with you all who would certainly appreciate the accomplishment! I am thinking Boulder, CO, Baker Street Pub on August 10 or August 11 due to the Awesome happy hour specialist from 2PM to 9PM. Not set in stone, though. Anybody in?