If we use average times, the costs of doing things too quickly and its strain on even trained humans gets correctly factored in.
Red Bull shouldn't be at the top of the pit stop league for the last race.