Thanks for the help guys. You know, I am so negative about the service we south africans are getting. A couple of years I took the gearbox in and asked them to completely go through the box and replace all bearings and check that everything is within specs. I was still living with my parents and didn't see the freeway much with the car. Now I find out that this part is worn that was suppose to be checked and fixed. I am so sick of this $hit. I phoned around to find out about maybe replacing with a relatively new 5 speed box. It seems the crazyness with these 5 speeds that are experienced on your side has rolled over to our side. They are plainly crazy with the prices. If I now roughly convert to Aus $ it comes to $1000 to $1200 for a brand new box. and something like $800 to $900 with boxes that are used.