Jesus its expensive over there...
I had my Evo2 RS box rebuilt, cost me just under 2g :) ... If you have the cash i say rebuild it, that way you know your gearbox is pretty much brand new. I've had heaps of trouble buying second hand gearboxes over here (might be different over the lake). :)