Yeah, I'm sure he's not thrilled about it. Even if he had run near his PR, he would have been ~24 seconds behind the leaders. He's got some good talent and speed – hope he can regroup, rest up, and find a clear event. I also hope this result shows him that he might be better elsewhere. Competing with guys in the 12:40s is no joke, and he needs someone who can bring out his talent.