From Austin Explorer's log of Mirror Lake-Tenaya Canyon Loop
Well, it's not a lake at this time of year, but the sandy bottom can be explored.