If he truly just travelled 3 miles, then it was still running on pure diesel contained in the pump, filter and lines. It probably just got a sip of straight gas once he parked it at your shop. I would say no harm done. Just drain, flush and refill with new fil... Login to read more.