5k seems cheap for a 02 WRX ?