If KK is running MG Yellow level grip then the equivalent pace would be a KGP on that lap record list which is a 55.7. An X30 on those tyres irl would be low 56s I would bet. So KK isn’t a millions miles off with regard to real pace. Komet K1H is what we run in X30 over here
An OK senior would be popping into the 54s. They were qualifying on a 55.1 (with ‘spec’ Vortexs). Fill blown OK and they’d be in the 54s, especially now.
What KK missed is the bumpiness of the first sector at PFi. irl i recall mainly just being in pain there
*I’ve never felt equivalent lap times from game to real life is te best measure for realism due to the ridiculous amount of variables.