Perhaps more interesting for most is this: https://www.youtube.com/watch?v=EVH2qOwZd18#t=373 showing an elite runner running at a reasonable pace (perhaps 7:30 - 8:00 minutes/mile), with some commentary.