I imagine that Red Bull putting Perez back out after "retirement" having been able to "repair" the car, which conveniently let him serve the outstanding penalty for incompetence before retiring again, is within the rules - but I found it very cynical....so Red Bull........
I'd almost forgotten Verstappen was in it as we almost never saw him on the C4 coverage, but obviously he produced a masterly drive. Good work by McLaren