Picked up some NGK BPR7EIX plugs for my '72 Spider. This was the size listed for the car. The mechanic suggested going with a 6 instead of 7 because it would be hotter for the older car. When I plugged the 6 into the purchase page it keeps telling me this is not a plug for the Spider. Has anyone else used the BPR6EIX for a Spider?