Is my best bet to try to find that same differential on junkyards (I can see one online with 200k miles, haven't yet started calling other places for more though) and hope they have OK-condition gears to cannibalize, or are there maybe some more common models with interchangeable pinion & crown gears?
I know you didn't have this model at all in the U.S., but it wasn't too common here either, so exactly matching differentials are not very plentiful...
I haven't yet had the repair shop open the differential to confirm that it is the gears that need replacement, though, but I guess that it is likely (they said it was clearly loose and heard some noise).
(I know very little of this stuff, everything I know I basically googled today
