Machinery's Handbook recommends plant-based oils such as rapeseed (canola) oil for cutting fluid. I think most cutting oils you buy off the shelf are a mixture of mineral oil and rapeseed oil (with some additives probably). I tend to use my own blend of coconut oil and mineral oil because it smells nice when it heats up.

I don't think it's worth it in your case though. I'd just do it dry and avoid the mess.