4.0 ignition leads. Anyone have a part number of please?

[silverback mike]

My lad is after some good ignition leads, I’ve used magnecor in the past. Any recommendations/ part numbers chaps?
Thanks in advance. Mike

[bobfather]

They are Lucas leads, part number RTC6551

[silverback mike]

Thanks