Elevation and Time profiles.
In 2012, my GPS came up with 5.48 miles and 5.50 miles. Kelvin came up with six miles.

I took a lot longer on the hike than some other hikers. I was the second to arrive at where Steve and I stopped for lunch, but many did not stop, hurrying off to the party at Joe and Ruby's. I did not slide downhill while eating lunch. I can't explain that sloping line. Elevation is supposedly based on US survey maps. (Subtract 10 hours for Hawaii time.)
I was interested in comparing the 2013 hike with the above. Why was the 2013 longer, with a pretty much identical profile? It seems to have been quicker, on the other hand, although I seem to have forgotten to turn the GPS off for a while.

And now I compare the 2014 version. The hike was different (longer) and I was not my old self either.
These profiles show a couple of phony peaks early on (notice how quickly it says I climbed up and down a hundred feet or so), and I didn't notice for 10 minutes that my GPS batteries had died at 12:45. The time profile starts late; I forgot to start my GPS! (@#$%^* senility!)