20071023 unknown: Is this F1 season over?