He would be very wise to order Rodney Dickman's aluminum master and slave cylinders. They probably exceed OEM or any aftermarket you can find. At a minimum, he should get the slave cylinder. Each are $70. Have him email me and if he's close enough, I can swap it out for him. It may also be that it just needs a proper bleeding.