+1 on a lot of what Joshua said.
Personally, I don't like choils and would say I have a strong preference for NOT having choils as like Joshua said choils "can" interfer with knife function.
I would rather sharpen without a choil and have better knife function.
Personally, I don't feel hindered in sharpening by not having one. So, no brainer for me.
However, if you must have one, a Dremel is likely about as fast a tool to get the job done.
**** BUT, be very cautious with a Dremel tool near your blades edge. The Dremel tool can overheat the blade at the thin edge VERY fast and very possibly damage the temper.
I would recommend if you use a Dremel on any knife to grind very small bits at a time slowly and dunk the hot spots in water to keep cool every few seconds.
With a Dremel, especially near the thin edge, you can heat a very small area less than a tenth of an inch area way hot without noticing the heat half an inch away.
This will typically make the affected area too brittle and that area could chip much easier.
Cutting the choil with a round file is not likely to cause any temper damage. But, a Dremel is WAY faster and easier. But, a Dremel can be riskier to the temper.
Also, if you have not used a Dremel before, it can be pretty tricky to get a nice uniform even choil until you have a lot of practice.
Good luck.
.