Craftsman’s famous lifetime warranty in question after $900 million sale