General purchase advice thread Ibiza (KJ)

There is still a general purchase advice thread missing in this forum area 🙂 For my friend the new Ibiza also comes into question, she drives every week 2 days 4 x 65Km highway. + so still a few private rides… So per year about 17000Km. The question is whether the 6 gear 115Ps gasoline is worth it – consumes probably less fuel at speed 130-140Kmh ? Like the 5 gear 95Ps engine? She drives at the moment a Corsa D 75Ps diesel and you are the 115Ps believe too much – does not need it s If it does not work