While traveling this past weekend, we stopped at a truck stop and by mistake we put gas in our tank instead of diesel. We went about 30 miles and the truck died. We had it towed to find our problem. Has anyone else done this? What were the repairs to be made? Did it do alot of damage? Help, thanks