It would not hurt.
I would pull it just to check out the throwout bearing.
Looking at RealOEM, it appears that you have the new-style throwout set-up? The one WITHOUT the self-destructing roller bearing?
Hopefully, it looks like this:
I was wondering about the tip of your pushrod. I know that it is not good when they wear to a point, and I don't remember what a brand new one looks like, but yours is quite flat on the tip.
Just make sure to put a small dab of moly on the tip, and remember to only lube the male splines on the input shaft. Any lube that you put on the clutch assembly will be pushed into it, and possibly (probably?) end up on your clutch friction plate.
I am sure we will get some more opinions.
You might also want to service the rear-most pivot bearing, #14 in the image.