There's at least 4 ounces of fuel in the distributor and tubing to the injectors. This is after the fuel return line. To make the math easy lets say the car gets 20 mpg. So 128 ounces gets 20 miles, or 6.4 ounces per mile. So if he was 2/3 mile away from the fuel station when the problem started I'd believe it.

__________________
89 300te 222,222
92 300e 190,000