8:53 3k in his first race in several years after his string of age world records. Converts to 9:32ish 3200. Very fast, although he ran a 9:17 3k four years ago. Just glad to see he hasn’t dropped running after being pushed so hard so early by his parents (most those world records were clearly contrived, adult-paced efforts just before his birthday times by his family).