Whoops, somehow while editing the table of lap times, it got moved into the videos section of this page. Not sure how, but someone smarter than me will have to move it back. I can't see a way to fix it.
