Hey hey,
Change the gearbox yourself, Its not terribly hard, Just think about what you are doing and you should be right.
If you change it yourself you will learn more about the car and if something goes wrong you have a better chance or finding out what it is.
:)