Whatever, my 2 bit is worth.
If you are going to be here a year or few, and plan on buying another car. Second hand of course, I would think it better to repair your Jazz as you are well aware of the work done and its running condition. As you are repairing at the dealer, I am sure they have checked the vehicle and will advise if any other repairs are required. At the end, is it amount worth repairing or putting for another vehicle, which condition you are not aware of.