Youtube: Coleton Scandin Fairly new runner, here are all of his PBs if a mod wants to add these times to the leaderboard:

5:06

5:03

4:59.840 (i retimed it)

4:59.174 (also retimed by me)

I've seen adding other people's times to the leaderboard without their permission lead to some bad things in other communities. We take the stance of "if someone wants their times on the leaderboard, they can submit them to us."

Eddie, what I would do is maybe ask him if he wants them, or is okay with them on the leaderboard, then you can submit them normally, and just leave in the description that they are this person's runs.