The Navajo sandstone is part of the Grand Canyon type section, which was the first group of rocks I studied when in school. I taught the Grand Canyon section as part of the labs for Introductory Geology as well.
The Navajo Sandstone is also an important aquifer for much of the western midwest. Very cool to learn its origin.