I've googled this topic and there is two opinions out there. Some
say use regular oil because it last longer, others say use wd-40
because it does not collect dust, which will gum up and create
problems. Any ideas which is better?