That IMC course record is Colin Dignum. I used to race him back in my high school and university days. He was a pretty fast guy (low 14s for 5k and around 30 min 10k then but hadn't done any marathons back when I raced him). I heard that when he set that record he spent a good deal of time in T2 and actually got a short massage or soaked his legs in the hot tub or something crazy like that to loosen up after the bike then went out and smoked the run ..... could a "tri-urban" legend though.