[Ted W. Hazen]

I've had a leaky rear main seal for a short while (all other possible sources eliminated) so I'm going to have clutch done at same time even though I've never had any problems with it. My current mileage (140K) would seem to make this a prudent move. My question is should I have the latest fifth gear nut fix done at the same time even though I've never had any problems. The nut is currently original. What is the latest P/N for the fix? I don't want to get saddled with something left over on the shelf.