3.9 R160's are hard to find. They don't come in any Aus delivered WRX and only one version of JDM for a very short run.
You will most likely have to build one from 2 diffs.
NB; the ones everyone flogs as 3.9 are usually 3.54