I *may* have been playing “Bristlecone Pine” on my headphones when I was walking up there. Jeff, pictured below, is a Jeffrey pine, not a Bristlecone Pine, but I think he’d appreciate the song.
Bristlecone Pine: https://www.youtube.com/watch?v=ADbh3OhmMvc
