[dhosek]

As noted in another comment, the genus of the redwood is Sequoia. The trees with the common name sequoia (which are a different genus) tend to be shorter than redwoods but also much thicker in their trunks. They are native to the mountains further inland (you'll find them in Yosemite as well as (unsurprisingly) Sequoia/King's Canyon National Park). I'm pretty sure that the Stanford tree is, in fact, a Sequoia and not a sequoia.