Hey, I was just up Mauna Kea about a week and a half after you. I enjoyed your report, but just as a small point, according to my literature, Pu’u Hau Kea is a 13,441′ sub-peak of Mauna Kea. It is the one with the very defined crater that can basically be seen right across the paved road from the true summit. The actual 13,796′ highpoint is Pu’u Wekiu. Here’s a link to my report.