I have been looking at buying a gator rator aerator but I am a little worried because of some of the problems I have head about. However It seems like when they do work they work good. I know someone that has several new in the box they are selling. I could get it for $1,300. This seems like good deal. Any thoughts?