Got an R33 RB25DET Manual Box. Car had done 58k Just been cleaned, serviced and fully checked. No idea what its worth..? Any help would be appreciated