As the title states... What is everyone using? Do you like it or is there certain things you don't like about it? I'm mostly asking about the 400 dollar range notcher. Currently looking at the pro tools notcher but interested in what everyone else uses before I buy a new one.