Although it took longer to reach the decision to give him out and for the next batsman to come to the crease than it would have done just to get him a new helmet.
I guess enforcement of the rule can act to speed up future batsmen though.