gearbox bearing, anyone had to do it?

[clutch]

how much extra would it cost to do

replace the clutch release bearing, lube the clutch release fork pivot and inspect the clutch for wear.

?

[aaronng]

how much extra would it cost to do

replace the clutch release bearing, lube the clutch release fork pivot and inspect the clutch for wear.

?

Cheap and easy. If you buy a new OEM clutch release bearing and bring it along, it will take 10 seconds to pull out the old one and slide the new one on.