I'm finally getting around to pulling my tranny to fix the clutch/TO bearing I broke push starting my van last fall.  I'm replacing all of the leaking seals while I'm at it.  I can't find Redline MT-90 locally and I don't really want to order it for a 150,000 mile 4 speed.  Is there any variety of locally acquired dino oil that is better than others?  Also, how much is needed?

  Thnaks,
Clint