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.

?