Just had a call from my trusty local about my gearbox that has gone in for repair, they're suggesting that it may be the rear gearbox casing (where the bearing is) that need replacing (symptoms being the car being stuck in gear and the clutch peddle vibrating).
I have previously had the master/slave cylinders replaced, gearbox re-shimmed and new clutch/dmf.

Does anyone roughly know the cost for a new gearbox casing and the work needed to replace it.

Thanks!