Part of the motley crew at the Los Pinos Peak: Sean, Raji, Tom, and me.