My daughter accidentally put 3-4 gallons of diesel in her 2006 Nissan Sentra. She had a quarter tank of gas in her car already, when she caught the mistake, she switched to gas and filled the remainder with 5-6 more gallons of gas. So basically she has 3/4 tank of gas and 1/4 tank of Diesel. She drove approx. 10-15 miles since without any issues. What problems may this cause, should she continue to dilute the tank with regular fuel or should she have it pumped out?