I just flipped back to his thread and he said 2:12.04(post #261). If we account for the 4 seconds at the cyclone(turn 5) then he would be 3.5 seconds slower, not to mention his
car is already sorted.
Still a good lap time though considering the amount of wheel time he's had and still room to improve..