There is actually another run that he did, (5:11.03 on his channel not retimed) I retimed using his timer, I'm not sure if patterns are different and if they would apply for PAL with the spreadsheet, but I noticed, that his timer was actually a little bit off, he started 0.10 seconds early, and ended 0.02 seconds early as well in that video, so it would give him a 5:10 actually. Funny that it took 4 years to notice this.