Our cars call for either of the following, according to RealOEM:
* NGK BKR6EQUP
* Bosch FGR7DQP
Both of these are platinum plugs...
I looked up BK6RE thinking he just forgot to write in the rest of the model and found out about the copper plugs (didn't know they made those). Not sure why anyone would want to use plugs that only last 20k though... it's not like there's going to be a big performance difference. The BK6REQUP are so cheap (I bought them for $6 a piece at Auto Zone I think), totally worth having the ones that last longer.
Learned something either way - didn't know copper plugs existed.