I'm going to have work done to repair or replace the gearbox in my 94 S4. Worn synchro ring most likely, doesn't that suck? While they're at it I figured I'd have the clutch replaced. Is there anything else I should have checked out or replaced while it's in the shop?

Getting stuck didn't help but my mechanic explained the clutch was probably due to go soon after that anyway. The flywheel showed no affects of the incident, they turned it and put in back on.