Just curious because my buddy has a WRX and the throwout bearing starting squealing on him. He took it to a dealer and they want $800 to replace and are trying to talk him into a clutch. Is this a majorly labor intensive job on these WRX's? Also, for a nice everday clutch on a car that is not modded and does not get raced do you guys have any suggestions for a nice clutch?