I just talked to the local foreign car man in Corpus Christi (he fixes all kinds of foreign cars) and he said that platinum plugs are a waste of money. Two dollar apiece name brand plugs work just as well.