On mine, the seal was just with RTV...

I put Royal Purple 75W-90 oil in...would have used Redline if I could have found it, though, although RP's good stuff.

It's pretty easy; I did mine as part of doing the axleshafts.