He is correct in that our waste-spark system will not work with Bosch plugs.
Use stock (Delco-rebranded NGK, I believe) iridium spark plugs. Or NGK iridium spark plugs. Or Autolite iridium spark plugs.
Do not use Bosch, Champion, or E3.
Do not use platinum.