9:42.92 official. 4th in my heat, good race.
Good heat--everyone had put in a 9:50, 9:55 or 10:00 for a seed time. I was mid/back of pack through about the mile then started moving up a bit. Every lap was under 40 seconds, the splits I remember are 3:15 for 1000, 5:12 for 1600, and 6:28 for 2000.