We go there often, probably 2 to 4 times a year.
Did you make it to the "Witches Kitchen"? It used to be called The Devils something and at one point Hells Something. But,,, to be closer to correct it is cold there so they got rid of the name plus made it a bit more family friendly.
Many people miss it as it is down pretty deep within the various walls and what not.
Great place to visit. you can easily spend the day there if you want to.
We normally pack a big picnic lunch, go hiking, come back and eat the lunch and relax for a bit, then head home...