Clutch replacement cost

Hi everyone. Just a quick question. about a month ago my car (toyota yaris 2013 1.0 manual) started making squeaking noises. Took to the mechanic who changed the fan belt but said its also the clutch release bearing (the noise gets louder when u press the clutch peddle). how much is the cost of replacement? he qouted me £500 to 550. is this right? Thanks

*mechanic advised to change the whole clutch as its the same amount of effort and the car has 80k miles on it. bought it used at 73k miles.