From what I can tell it’s a course record by 18 seconds. I tend to recall Ryan Deak abs Bradley Harkrader running sub 15 there though and they are not on the list. But at least a CR by 10ish seconds. State of Colorado 5K record as well. Previous record was Goucher 14:41 or so.