On a lawn that size I would honest suggest using a hand push mower.
Petrol would be serious overkill and even an electric is going to be
more trouble than its worth. With something manual you'll have no
power issues, no cable issues and it's not going to go wrong.

That could be the answer. I like the idea! Good excercise too.

Androo