Rebuild the box you're looking at about 4k inc parts and labour, brand new box is 3k (japanese from Celica) and plus labour, if you're gunna fix it and can't find second hand, I recommend getting a new one, and replace the clutch at the same time with something better than standard but not too rough or you'll add more stress to the box...