Has anyone used any of these machine to trimmer there bud? Big Red Shredder or Trimbox herb trimmer. If so how much time does it take to trim a lbs of SOG single cola buds and do you still need to hand trimmer after? Any cons and pros will be helpful. And which who you recommend and why?