well if its 12.5k repair job as you say, and you'd pay 15k for it surely you could get new for 27.5k??