I'd get the NGK, that's what recommended for replacement. They are cheap, they do the job, and if you are worried about plug performance, they are cheap enough you can replace them often if needed.

I guess if you don't want to change them again soon, get platinum plugs. Otherwise, just get the NGK's.

That's my opinion anyway.