Not a big deal on that small of amount. The old timers (truckers) used to add gas on purpose especially if they ran to drive into a cold region with summer fuel. Definitely not recommended for ultra high pressure fuel systems on a regular basis. Diesel 911 etc... Login to read more.