What kind of oil would you use? Mineral oil? I have a few chips that needs a little care? Thanks in advance.