FWIW, I got the 80F figure from the table at https://en.wikipedia.org/wiki/Hypothermia#Classification