I think you may have misunderstood what I wrote - the original WD40 ie the penetrating oil, went nowhere near it!!!
It was contact cleaner (from the brand WD40)
I'd already learned my lesson previously about using WD40 on a sticky ignition barrel in my old van and was given the wrath of the locksmith when he had to come out!! 😂
Hence the contact cleaner flush out, followed by lubricating with graphite powder 👍