<-- Previous ^ Up ^ Next -->
We wanted to record that the area is named for John Muir, a nineteenth century Scottish immigrant to California.