Thanks for all the info, I might give the redline oil a go and see what happens. You're right, the $200 of oil is a lot cheaper than pulling the gearbox out. From what others have said though, isn't it just bandaiding the problem which I'll have to sort out later anyway?