What are people using for plugs these days? It appears the NGK BPR6ES 7333 with the removable tip are no longer being made? I've tried a couple times to buy some off Amazon or eBay but keep getting sent the 4008's which have the fixed tip that don't fit the wires.