Where would a guy buy plain old mineral oil? What's it called in the store?

On another thread we've been talking about spliting pelvic bones and how people do it. Maby you could tell us how it's done in the slaughter house?