Bei der kleinen Fläche würde ich einen handbetriebenen Spindelmäher nehmen.

Der funktioniert immer und bringt das beste Mähergebnis.