Does anyone know why these real driver names appear on a F1 grid with fake drivers? I mean, I know that they were from Brazil and were successful and all, but I don't understand why they're here if the F1 cars they are driving are also unlicensed. (And their helmets don't even match their real counterparts!) Did they get a special license to use their names specifically or something?