I don't think this is excessive money, having done exactly this job myself.
It is a fair bit of work and you need a lot of tools. I chose to do it myself after receiving quotes of at least 1500 euro for reconditioning of the box alone (without remove/replace of the box), and let's say "less-than-ideal" clarity of what that work would exactly entail. I replaced everything minus the synchros, and I needed a specialist to replace two of the bearings because you need a super 10 ton press to get to them. I have not replaced the synchros because they were still good. The parts and work rate alone set me back some 800 euros and I spent in total at least two days with all the logistics involved.
If someone would ask me to do it again for him/her, I would definitely not even think about it for less than 1000 euros plus parts, where parts would come in well over 1000 euros if it was to include syncros. And that's black-market pricing... So 2500 euros for an official job that included new clutch, synchros and flywheel resurface plus the convenience of warranty and not having to do any work on it does not sound excessive to me.
The biggest problem areas on these gearboxes are the two outer layshaft bearings and the output bearing, but it's false economy not to go all the way and change them all. What was done to yours is a proper overhaul that ought to be reflected in resale value later on.