You might want to get some expert opinions on the advisability of using those plugs. If they not the same ones the dealer sells I think it would be a mistake to use them.

Now I may be mistaken but I don't think the stock plugs are called bosch platinum although they may have a platinum tip.

Just make sure they have the same bosch part number as the ones sold by the dealer.