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

Get Your Car Fixed at a RepairPal Certified Shop.
We certify shops based on expertise, quality work, and verified customer reviews
1 answer
It's about 4 hours labor plus parts. $250 for parts
https://repairpal.com/estimator?car_type_id=1383