Hanselman ran a time of 15:27.86, an all-time personal record. After the race, Hautz said the following: “Michael has had a particularly trying season. He’s been dealing with injuries and ...