切削油の代わりにこれ使ったらマズいかな？
ダイソーの万能オイル
https://i.imgur.com/by9R2pX.jpg
近所のホームセンターには大容量の切削油しかなかった