Womit mäht man rund um einen selbstaufrichtenden Pool?

Wir haben so einen Pool aus etwas dickerer Folie im Garten stehen. Der Pool ist allerdings so groß, dass man das Wasser die ganze Saison darin lässt und mit Chlor oder ähnlichen Systemen aufbereitet. Naturgemäß wächst um den Pool auch Rasen. Mit dem Rasenmäher kommt man nicht ganz so nahe heran, so dass da rund herum immer ein langer Rasenkranz stehen bleibt, den wir nicht haben möchten.

Wie könnte man alternativ die Graspflanzen kürzen, ohne dass der Pool Schaden erleidet? Kann man darum mit dem elektrischen Rasentrimmer mähen? Oder zerstört möglicherweise der rotierende Kunststofffaden die Pool-Folie? Welche bewährte Methoden gibt es da, die man übernehmen könnte? Oder findet man sich am besten mit dem Rasenring ab?

Habt ihr denn gar keine Folie unter dem Pool liegen, welche von der Grundfläche her größer ist, als der eigentliche Pool? Wir hatten auch einmal einen solchen Pool im Garten und hatten darunter eine solche Folie liegen. Diese konnte man dann beim Rasenmähen einfach etwas zurück klappen, so dass man mit dem Rasenmäher viel näher an den Pool ran mähen konnte.

Eine andere Möglichkeit würde mir ehrlich gesagt auch nicht einfallen, denn der Pool ist ja wirklich sehr empfindlich und man sollte sehr vorsichtig sein, diesem mit Gartengeräten zu nahe zu kommen. Das wäre wirklich fatal, denn die Folie könnte sehr schnell reißen und dann ist der ganze Pool kaputt.