According to Tinman's calculator, I could have run a low 14:30s 5k when I was 17 based off my mid 9:0x 3200 time. While I think that's a little generous, I could have easily run sub 15.
I also ran a faster time than her, when I was 18, on a moderately tough XC course.