What brand of spark plugs to use is a matter of personal preference. If they crossed the Autolite to the correct Champion number, you should be just fine.