Fluke33

I'm a new owner of a 93 R33 Gts-t. Great car to drive with 255rwkw, but I have to use patience with the gearbox. It has a slight crunch when cold between 1st and 2nd but improves once warm and is fine for normal to moderate driving. I took it easy when doing a track day in it though and want to find out more about the 5 speed box. Information in this post has been handy. Does anyone know how much it would cost to get the synchros replaced, gearbox rebuilt if required?