I've got a 10+year old Craftsman pneumatic grease gun. It appears to have given up! Does Craftsman warranty tools like this? Does Craftsman still make these tools? Suggestions on trying to get a replacement. Thanks.