If you plan on taking it to Tx Auto Gear, or another local shop, it might be a good idea to get a price from them on a TrueTrac ..or whatever you want to put in there (plus a rebuild). Unless they're cool with guys bringing in their own parts. Maybe they are, IDK. But a lot of shops have a hard time putting a warranty on a job when 3rd-party-purchased parts are involved. Esp a primary component. They have no legitimate recourse to go back to the mfgr if a problem occurs, and then things can turn into an uncomfortable finger-pointing match what parts were at fault. And in a differential, when things get messed up, oftene nobody can say definitively it was this or that part. A warranty ...the way you use it is probably worth having.
Some smaller hard parts I've bought in the past at a local driveline shop were actually cheaper on parts than the internet (when ya factor in shipping), and parts store.
.