Many years ago I had a book called Drive It Forever (based off an earlier book called More Miles Per Gallon). Both were written in the mid-70s during the gas crisis when there was some cause to fret over the smallest details. Of course pumps were very different, but I believe the book mentioned that the fuel trapped in the hose was a little over a cup.
Either way I've lost very little sleep over it.
