Io sceglierei l extratime, a meno che il raddoppio non sia a vita (cosa che mi pare molto difficile visto che veniva dato tale solo sulle tutto3).