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.