Though my final at-elevation result remains unchanged: 72°F / 22.2°C, a 15.5 degC drop.
https://treelinebackpacker.com/2013/05/06/calculate-temperat...