Paul is probably right and preventive action may be overreacting. If so it is probably original but the best way to find out for sure is to find the part number, somewhere near the "source" plug usually, and run it by the parts man at the dealership.

PS - I meant the parts person.