I still think Zorro is better because he has the most records in HCR2. It’s like in the Rubik’s Cube world-having a great 3x3 average is way more impressive than just one fast solve. It shows you have more consistent performance, which is exactly what Zorro does in the game. So, in my opinion, he deserves the top spot over Lucas.
The question is, why can’t we find the record in the game? If it’s not there, it’s not official. Meaning that Toca guy still have the longest distance.🤷♂️