Did we ever decide what to do with any extras left after the warranty period is over? I heard some ideas like giving them out in a lottery, etc.