I have a 2011 f350 6.7. Yesterday my wife stopped to get diesel. She accidentally put 1 gallon of gas in the tank. Immediately recognized what she did. Stopped pumping gas and then put about 13 gallons of diesel in it. She did crank it and pull it away from the pumps, turned it off and called me. I pulled the relay for the fuel pump and had it towed to the house. My question is from here what would be the best course of action? From what I've read I'm thinking I'll cyphon out the tank, fill it up with fresh diesel, purge the fuel line, change the filters, put in an additive (reccomendations welcome) and roll with it. Is this sufficient to prevent any damage?