If its because of the petrol put in, and if the tank was very low at the time, then could get away with filling it right up with diesel, then filling it up when its about half full again and apart from being a bit lumpy when first started and a bit more smoke, it should be alright after a couple of tanks of diesel.
P.S. Were they collecting a C5 ?
Retro Andy.