Top 5 achieved! 9:35 or so should have been easy enough but I kept dropping time. I don't particularly enjoy this run outside of marathon settings, so this is good enough for me. Done as a post-Big 20 #17 goal.