Thanks Steve.

Do you know if there is a way to get the permits ahead of time? There's a good chance that I will be arriving late Friday night or early Saturday, outside of the Rangers Station's operating hours.

I would call the Ranger Station, but based on how glitchy the recreation.gov website is today, I bet they're busy!