Diesel in Benziner getankt - was nun?

Aus Versehen hat mein Freund ich in meinen Benziner Diesel getankt. ich habe hier schon was grundsätzliches dazu gefunden https://allesfuersauto.com/falsch-tanken/ aber ganz schlau bin ich daraus auch nicht geworden. Muss ich jetzt jemand kommen lassen, der das regelt oder kann ich noch zur Wekstatt fahren?

https://allesfuersauto.com/falsch-tanken/ - hier steht auch, dass das Auto Schäden davon tragen kann. Stimmt das? 

Ja, klar kann das Auto schäden davon tragen. Der Wagen (Tank) muss ausgepumpt werden. Noch schlimmer ist allerdings benzin in einen Diesel zu tanken.