Ran 14:57 for the win. Couldn't find an all time list, but looking through past years results I was unable to find any other winner who had gone sub-15. If he did set the course record I heard no mention of it once during the broadcast. Still kudos to Anderson for a hell of a race