As others I think the "real" record is for "production car" not roadgoing car.. I mean, it's not that tuners aren't allowed into the game, but still, it is two different things
And BTW, also funny how the road legal car had to have the rearview mirrors removed and be dutch taped everywhere to reduce drag
but who cares in the end, it is an incredible achievement!