It appears he did pace HOF Marathon 2015
There's video of him approaching the finish with a pace group sign.
https://results.chronotrack.com/event/results/event/event-8995?lc=en
Start 7:15:13AM
10K 8:17:19AM 01:02:07 10:00 min/mi 01:04:11 10:20 min/mi
15K 8:49:36AM 01:34:23 10:08 min/mi 01:36:27 10:21 min/mi
20K 9:23:10AM 02:07:57 10:18 min/mi 02:10:01 10:28 min/mi
20 Mile 10:39:42AM 03:24:30 10:14 min/mi 03:26:34 10:20 min/mi
Finish 11:45:23AM 04:30:10 10:19 min/mi 04:32:14 10:24 min/mi