I have just purchased a Mini Griptilian tanto and I really like this knife. I will be carring the knife in my pocket and I wanted to know the best ways to keep the it clean and the best ways to clean it. Is it safe to use aerosal gun cleaners/lubricants? Also has anyone had any experience sharpening this blade profile on the sharpmaker and if so is there anything that I should look out for. Thanks.