Official time from this morning's 5K: 36:51. Fancy.