Does F1 risk a 1994-style 'asterisk title' after collision?