Quit beating around the bush people
.
If it is a legal car in the states and it is in working condition you could easily fetch $10k+. People pay far more just getting their 2.5RSs up to par with something like that.
Hell, there is a dopey little JDM WRX on ebay for ~9.5k and its been in a war. I doubt they are going to sell it quickly but if you price yours the same it will move.