There are different tools, from what I can see online. I'd like to know what tool seems to be preferred (if a $5 tool works well for fleece, then I don't have to buy a $30 tool that is normally used for harder materials, etc), and there are also different types of grommets. I obviously don't want plastic ones, but what are good ones that hold up and what are best to stay away from?