Tell your son he's not the only one who has done this. I know two other people that have done that same thing.
Worst, I also know one person that put gas in a diesel. Bye, bye diesel engine.
As far as the "bad fuel", if you have or know someone with an older vehicle, you know one that doesn't have a computer, just dilute the diesel down with gas and run it through.
1997 TJ Sport, 4.0 I6, 32RH A/T, 31x10.50 General Grabber AT2, totally stock as of now. (need to install the Ballistic diff covers I bought)
1946 Bantum trailer
1968 C-101 (Jeepster)