Yes chick-on, I indeed posted about that earlier. And thanks to everyone's answers and advice, I carried out my plan exactly as I wanted. We got to the trailhead at Tenaya Lake around 7:00 and started the hike around 7:30. We got to the summit around 11:30; up there we ate lunch, took copious photos, and hung out with other hikers we met up there. We started the down-hike around 12:45ish, and I was soaking my feet in Tenaya lake at 3:30. Great stuff.