Great trip report. Glad everyone in all groups got back down safely. My own experience with the 2 miles between Trail Crest and the summit is that it seems like it takes forever on the return trip primarily during that last half-mile of uphill between the JMT junction back up to Trail Crest.
CaT