Ah well. Sod it. It's not as if there aren't more important things to fret over. I did the run in 1:08:23 at an average moving pace, according to Garmin, of 5:26 min/k. As close as I'm going to get! And the good news is that I felt pretty relaxed the whole way. Not unduly stressed. The 10k came up in about 55 mins, which is only a couple of minutes off my best pace this year. I think there may be more to come.
Should have a rest day tomorrow but, diaries being as busy as they are, Mrs HF and I are going (weather permitting) to a running track near Lancaster tomorrow. I have a pyramid session: 400 / 600 / 800 / 1200 / 800 / 600 / 400 to do. Trouble is, they all need to be done at a particular pace.... We'll see.