Do I need to replace the Differential Fluid?

It’s at 175,000. I’ve been taking it to a reputable garage for the past 5 years, so I’m sure they did it if they were supposed to (honestly I don’t know for sure though - I’ll have to see if they have records). I’m now in a different location and looking for a new mechanic (thus the one-time speed-lube necessity).

Thanks for the help!