Actually olive oil would restore a chip somewhat, so would peanut oil or 3-in-one or just about any oil. I think some people used to say mineral oil was good.

I don't do it, but I use a soft tooth brush and window cleaner if I want to remove gaming goo. Rinse with water and buff with a towel.