We were looking at the Craftsman 37048 which is an electric mower to get away from gas models. Has anyone used this one or know someone who has?