Can you use WD-40 instead of machine oil?