>Gears and Wears>Running Watch-- I am New Forum member.
Garming 245! I've had them for a long while and they are worth it.
Not just Garmin 245 - it comes without Music capabilities. He will need Garmin 245 Music (which is a little bit more expensive than 245 without Music)
paces PRs - 5K - 5:48 / 10K - 6:05 / HM - 6:14 / FM - 6:26 per mile
Go to DC Rainmaker for a comparison based on your needs. https://www.dcrainmaker.com/
One day at a time
I imagine the OP already got a watch since the post is more than six months old.