Just had to ask.
Every oil thread I read talks about synthetic oil or "dino" oils.
What is the origin of the word "dino" ?
In Oz we call them mineral oils, I think.