I would be careful with that line of thinking. Most diff gear oils have EP modifiers, which is what is harmful to the brass products. Here is a good article.Differential gear oil is fine. The odd diff has some brass in it. You'll likely won't get any industrial gear oil, the ones with EP in their numbers are the brass gear eaters, EP 220. I use Lucas 75-140 syn. in just about everything, including my truck.
... so a piece of inner tube or corn flakes box would likely do the job