How Bad Would it Really Be for F1 to Lose Verstappen?