3:49.20 for 2nd place for Batty... And just a little bit downhill.
http://www.nzherald.co.nz/sport/news/article.cfm?c_id=4&objectid=10874785
Interesting to read that the world record for the downhill mile was set on this course at 3:28.36. I need to go run that race and set a PR.