Ok, shop called and said it starts every time. He said it had a stored code for key fob performance. In fairness, my fob is super trashed, missing buttons, and even with a fresh cr2032, doesn't always work. So, I know I need a new fob. But, should I let the shop do it and just eat the cost?

My little grey spare does start it, so I could use it while I sort out the fob issue. Or, is there some other alternative I can do? It's at the shop now, so I'd appreciate some quick guidance!! Thank you!!!