How did he get 10.08?
Watching the race on the video, the time on the screen is not synchronised with the pictures, it was 19.3 as he passed the finish line, and about 9.8 at 100m point, so your colleague is probably right. I would need a high quality video.