Welches Öl?

[roterraser]

Hallo,
die Werkstatt hat in meinen 964 jetzt ein schweineteures Synthetik- Öl eingefüllt, nachem ich vorher immer ein billiges Mineralöl aus dem Baumarkt (früher 5 Liter zu 9,99 DM, jetzt 5 Liter zu 13,99 Euro) benutzt habe.
Die Quittung: Ölspuren in der Garage, da läuft was aus.
Frage: Kann ich noch was retten?
Der Wagen wird richtig geschont (noch nie ausgefahren, selten Autobahn, stets Landstraße, seit 5 Jahren nur ca. 5.000 km/Jahr.
Ich habe gelesen, daß Porsche früher seine Rennwagen mit Shell Rotella für 0,70 DM/Liter gefahren hat.
Wer kennt sich mit Öl aus?

Gruß vom roten Raser