I've heard (on this board) that it hasn't been seen open in a long time, and it's labeled as "seasonal" in case they ever have to open it for some reason. I have not seen it open last year during the week of the 4th of July, or in March on my Spring Break, or the week of July 19-26 of this year.
I was a terribly picky eater as a kid (I'm only marginally better now), so I loved having a PB&J there after running around Tom Sawyer Island and shooting the guns from the fort. Times have changed.