Pond Boss Forums MANAGING AN EXISTING POND Evaluating and adjusting fish populations mowing pond edge

Does anybody have experience with a "hover mower" for keeping the edge of the pond neatly trimmed? I watched a guy use one on a golf course and it seemed like a great tool!
The only manufacturer I can seem to find in the US is Allen.
Would appreciate ANY information!