Okay I'm sick of using a manual dethatching rake and have been trying to make up my mnd on a power dehatcher. It looks like the only ones anywhere even remotely within our budget are the Craftsman and the Greenworks electric ones. Any of you guys use either one? Thoughts?