Car is old, with intention to keep I think giving it to the dealer was the right choice, anything goes wrong going forward you have a recourse with the dealer, their work is guaranteed, 37k is also for peace of mind, I would have done the same, if it's within budget, why not... Happy motoring bud