Yeah...he's done a lot of work to it.
I was a little off on the quarter time, his best is 10.64, still pretty fast!
There's videos on Youtube of FJR's at the strip doing 11 second quarters.
He may be slightly off on the time but you can see they were running triple digits a LOT.