Big House Big Heart official results

Results from today's race have now been posted online, and I find first of all that my official time was 4 seconds slower than I had recorded (30:42, not 30:38). This netted me a finish in 1607th place out of a field of 3752 (somewhat smaller than I had thought), and, out of my age group (males 50-54) I was 71st out of 121.