01 service manual makes no mention of single-tipped plugs. I'd say to be sure just pull an easy-to-access one and see if it's single or double tipped...

NGK has a value-series "G-Power" platinum plug that's a lot less expensive than the OEM ones and from a conversation I had w/ someone at NGK, they perform no differently. Not sure if they're available in double-tipped versions or not.
_________________________

Tip: see if your question has already been answered before asking it. Try our handy-dandy search tool!