Summited on the way down from Mt Whitney via the mountaineers route. Muir is a really fun peak with some great views and less crowded.