no its quite simple mate, they whine and make alot of noise anyway due to the age of cars now but one my mates had a whine on his UK , took it to a gearbox specialist who recommended a replacement (to the tune of about 1k) he was thinking just do it and its done but then the usual £ crisis hit and it never got done
about 80k later and it was still fine, just kept topping up the fluid and regular changes