No problem. If it is working, no need for the repair. But keep it in mind, just in case…
Always good to hear a problem is solved.