That's quite a bit of miles for a 02 to be honest. and me personally I wouldn't trust buying a modding wrx. Yeah I will eventually mod mine. But I know how I've treated it after mods. Not saying people with stock WRX don't abuse them. It's just less likely. You could probably find one cheaper too. 9k is not to high and not to low.