Thanks for the Vimeo link. That's what I did with the Dremel. If I knew it would cut that easily, I would have used the utility knife. But since the fins got soft and deformed from the hammering, I didn't think it was easy to cut.

Oh well. Next time. My plugs are good now.