If you love the flavor of raw garlic, go for it! If not, I would suggest adding chopped garlic to the tops of the pretzels while they bake or sautéing some chopped garlic before adding it to the butter mixture.