This time of year I would just go up to lava. It'll be cooler and it's only another 10 minutes or so. Plus there is lots of primitive camping on the other side of the park past the subway th.