My e39 530d broke down last Saturday and got it towed to the house.

I am looking at worse case that box needs rebuild etc and waiting on mechanic to have a quick inspection on it this week. I am nearly sure its a GM box 5sp in it.

Been looking at places for rebuild and got quoted locally 2.5k to 3k from Cork Gearbox centre while Autotranz in Dublin were 1800 plus vat and getting car dropped etc

Any one got work done there or recommend?