I second what AP just said, I have the Eco plus 7 and it works great in my 1 acre pond 8 feet deep. I bet you could get by with a 5 easy with that size pond.
The only difference between a rut and a Grave is the depth. So get up get out of that rut and get moving!! Time to work!!