Wow! That's highway robbery! There are tons of threads on this to DIY--if you're mechanically inclined. Needless to say, it didn't cost me nowhere near the amounts posted above...even on my own time and materials.
Most likely, I'd wager it's a pinion leak, too.
https://www.m3post.com/forums/showthread.php?t=2018581