What is the general consensus on having a Michelin Pilot Sport repaired? Pulled a screw out of a back tire this afternoon, took it to my "tire guy" and had it plugged. Hole was in the tire tread face between the raised sections of the tread. He did what he called a "high speed" tire repair. Should I be worried about the tire at speed?