One of my unofficial laps where I was not slowed up too much, was 9m20secs
This was recorded by official Casio handpiece, callibrated by Efe
I am sure Mike is about a minute quicker