If it's not leaking then I'd say it's fine to leave it. You may try to take that bolt out and see if it's the bolt that is stripped and not the bolt hole... I've seen quite a few Td5's with the wrong bolts put in there b/c they get lost when mechanics are working on them. The torque on those is only 9 NM or 7 lb/ft, but in the attempt to stop the rocker cover leaking they get incorrectly overtightened, which IMHO just makes the leaking worse b/c it distorts the gasket. Maybe swap bolts with another and carefully screw one in and see if the same thing happens. But if all are torqued correctly I'd say one loose isn't too big of a deal.