Not that anyone cares, but I did some research to understand what alternatives would work instead of using the $18/per OEM plugs. Based on what I could find on the forum I opted for the NGK BKR6EIX-11 (3764) from Autozone at $6.99/per. My car is a 91 and has 68K miles and it appeared to have the original OEM plugs, at least they were the same part number. Car drove fine before, but it now has noticibly better bottom end so I suspect the other plugs were sub par due to age. I guess the point of my topic is this, the NGK BKR6EIX-11 appear to work quite well with no issues.