You are correct!
Owner's manual confirms IFR6D10 as the correct plug.

Darn, I missed something obvious. Bad assumption on my part that NGK would have good info.

Even worse is that the bad info on plugs has leaked all over the web though EDI.

_______________

I deleted the screenshot from the NGK website so as to avoid future confusion.