Over the last year at the dealership i was at we probably had a good 30-40 cars with diesel in them. We’d always drop the tank and drain it and try and get as dry as possible. We had a few cars that people ran with diesel until the car wouldn’t run anymore and it cooked the cats because the diesel made the exhaust 30x hotter lol. i hope she didn’t do that.