There are several different names for the bearing in question which are:
1) Thrust bearing
2) Throwout bearing
3) releaser bearing
These are all the same part. In Australia, we call them thrust bearings.
No-one seems to think there is a problem with the actual gearbox. Am I correct in assuming this?
Thanks everyone for their comments.