No, eipä se siinä kovin selkeästi ole sanottu ja ei tuossa mitenkään oteta siihen kantaa, pitääkö extra-kierros ajaa vai ei. Lisäksi, juuri viime kisassa oli sama tilanne ja silloin ajettiin vielä kierros sen jälkeen, kun aika oli mennyt umpeen. Käytännössä kisa siis loppuu kun aika on mennyt...