They had no idea that the race director would apply an unprecedented interpretation of the sporting regulations. If they had pitted, and things worked as they normally should have done, Verstappen would have won by just staying out.

Hindsight is always 20/20. The right call was made by the team regarding pitting or not at the time.