What is the cost and repair for the clutch system on 1995 Hyundai Accent

What is the average cost for the clutch to be repaired. The estimate I got was $800.00

1 answer
It's about 4 hours labor plus parts. $250 for parts
https://repairpal.com/estimator?car_type_id=1383