Öl auf Linse - was tun?

Hallo Pilzfreunde,
noch etwas ganz Deppertes hinterher. Meine fortschreitende Senilität ermöglichte es mir heute, das falsche Objektiv im Öl zu versenken. Welch probates Hausmittel wird mir angeraten?
Danke und beste Grüße! Pilzmel