Today when I went to retrieve my mini griptilian it wasn't where I store it. First thing I thought was, oh sh!t, I hope my wife did not do the laundry. Sure enough she did and I found it clipped to my pants pocket. What if anything should I do other than to oil the entire knife?