da ich ja das selbe problem hatte, habe ich sehr lange gesucht und nachgerechnet, und damals war es am günstigesten für mich ein austauschgetriebe aus einem anderen X9 zu kaufen und gleich die kupplung mit machen zu lassen, alles in allem habe ich glaube ich knapp 1000 euro oder so gezahlt, ich weiß es garnicht mehr genau.
es ist halt nur echt schwer ein getriebe für den X9 (als handschalter 2.5 ) zu finden.
das reparieren beim freundlichen sollte knapp 3000 euro kosten, soweit ich mich recht entsinne,
von daher würde ich lieber suchen
beste grüße