Did Max Verstappen’s pit lane to podium heroics show a missed opportunity for Red Bull at F1 Brazil GP?