Mo Farah has a 5k 12:53 and 10k 26:46. Exactly double plus a minute. It obviously does not translate for us mere mortals. Good luck at smashing my 39:52 pb @Bignuts only raced it once back in the post war years. (First Iraq war thank you).
I'll give it a go, although I'd be ecstatic with 39:59.
The spare Brooks place has now been sold.