We just put 7 gallons of gas in a 75 gallon diesel tank that had 70 gallons of diesel in it. We were told by someone that it would probable be ok but to add a half gallon of Marvel Mystery Oil to the tank. We idled back to our marina a mile away. Anyone else have experience with making this mistake?