Yes, go for the chain saw file. Most of us have moved to that, and it's safer. The #19 bit was the old method and worked, but less precise and you could make mistakes if the bit grabs the plastic and cuts too much. Amazon option:

https://smile.amazon.com/gp/product/...?ie=UTF8&psc=1