After reading your post I went googling for what a throw-out bearing
was, and it might be exactly that.
Also I looked on the ETK for the possible cost of a replacement part,
and it costs about $60, not including labor, which might be most part
of the total cost.