As already said you won't get hold of a "proper" box for that sort of money unless the seller doesn't know what they've got !

What sort of engine spec does the car have, i.e. do you really need a big tooth, straight cut, or the like, gearbox ?
You may get away with a fresh standard box with perhaps a bit of shot peening providing you aren't running too much boost in 3rd !