I know you said the shop that set it up originally is going to fix it ...
You can DIY. Technically if you want to do it right, yes, you'll have to pay a shop to pull the entire differential apart then set up the preload, shim the pinion ... you're looking at $500 at least in labor.
The high pinion dana 30 does not use a crush sleeve. I've had a few of these break the yoke or shear the bolts off in the yoke and have had to replace the yoke entirely. While it's not "proper" , count the threads and back it off. It's going to be a real BEAR to get that off.
Once the nut is off, a few tippy taps with a small hammer and the yoke will come off. Then you can pull and replace that seal.
Putting back on, apply some RTV to the back and slide it on, also make sure you get it in as far as it was when it came out and tighten as much as you can with a 1' ratchet. You won't be able to overighten it, and if you get the threads exactly where they were when it came off, it'll be fine.