I would not worry about it,,,, I would have in the past but I have a friend with lots of dozers and tracked front end loaders and he says gas is really a pretty ' soft ' explosion,,, accidents happen, my father did the opposite... diesel into a Crown Victoria.... LOL... THAT DOES NOT WORK.... but gasoline does not seem to bother a diesel on an occasional basis....but the items you did do were correct remedies... Greg