I think the plugs in the Post #1 are real.They're fake, according to the .pdf file above. Why? The ground electrode has a "pin" sticking out toward the center electrode.
The plugs in the original post are IK20L (ground electrode is Nickel U-Groove). The plugs you're referring to (wlk's replacements?) are IK20TT (ground electrode is Platinum fine wire).
Denso states 30k mile longevity for the former, 100k miles for the latter.