Diesel in a gas engine isn't so bad, it just gums things up. Gas in the diesel is what ruins the engine. The will probably just have to drain the tank and clean the injectors, shouldn't be horribly expensive. That said, he must have been pretty determined to get that diesel in there because the...