I've actually got a fair number of recordings of his old matches against the heavy pros of the time. I've ground it through some software and I've caught him getting a shot off in as little as 80ms. That's not even possible I don't think, but I quintuple-checked it.

Even if I'm off by a factor of two he was faster than an F22 pilot, by a lot.