Following a search in this site I purchased a set of NGK IridiumIX plugs at the following link. The price was good and the service was excellent, ie: quick response, fast shipping.
From the link one can select "home" at the bottom of the page and then click on the plug picture for various other Iridium plug offerings.
I would guess if one wanted the OEM plug one could email them and ask.
Just FYI, Hope this helps.

http://ngksparkplugs.ecrater.com/pro...hp?pid=2031615

 

why not just buy them from your local parts store at 7 bucks each--so that store is there when you need brake cleaner and other small parts

 

I got my Iridium IX plugs from the local AutoZone for the same price and added points to my account with them. Plus their prices for Mobil 1 5-20w and M104 filters are great when they're on sale.