Noisy gearbox bearings are rare. But ask him if the £400 includes all the major bearings, or just the ones that seem to be noisy (difficult to diagnose which one). They could be idler bearings, or main shaft, etc.
Don't wait until the gearbox seizes. Friends wife did that in her Golf and then had to pay a towing charge as well.