I think that £4000 to do that is a good wage.
There would be no need to rebalance the shaft at all, unless I'm missing something. (Has been known). If you asked them to fix the leak and they didn't, I think you have cause for a conversation with the garage. However, by quoting an absurd cost like that, it seems pretty clear that the guy doesn't want to go there.
Do a search on the site for similar issues, or read Andy Burns 'blog/biopic'. I think that Andy had to do something that involved separating the box from the engine.
Again, are you absolutely 100% certain that it isn't ATF, as in you've really checked the colour, and know exactly where it is coming from? Speaking from experience, it is very hard at times to discern exactly from where the leak may eminiate.
Worth a second look. Then maybe a chat to your mechanic.
Others who have tackled this may have better advice. I just live with a small leak.