For interest.

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.

Oli