si questo tetto grezzo è originale, dovrebbe poter essere lucidato, per che originariamente, i tetti delle ultime DS erano comunque lucidi. come questo tetto è costituito di una resina epossidica, non dovrebbe essere troppo fragile e si può provare a togliere la macchia d'olio con un diluente a base nitro, ma molto molto piano e con la massima cautela. consiglierei di prendere un panno e di bagnarlo con del diluente e di provare a "lavare" via la macchia. dopo, risciacquare con un prodotto per lavare i piatti o meglio ancora lavare con un sgrassatore di uso domestico. poi, se viene lucidato il tetto, non si dovrebbe più vedere. conviene agire il più presto possibile, onde evitare che l'olio venga a penetrare in profondità.