IMO, if a component was repaired/serviced by the manufacturer, and if the component is working properly and is up to spec, then there's no need to mention the repair/service in the ad. However, I'd answer any questions a prospective buyer might have about the component's service history.
If a component was serviced by a third party technician, then I think mentioning it might be a good policy.
If a component was serviced by a third party technician, then I think mentioning it might be a good policy.

