About a fraction of a second. Seeing as I only run into this about four times a month, that’s maybe two seconds total per month – 24 seconds a year. Seeing as I got about another forty years to live, that’s approximately 16 minute total wasted for the rest of my life. I can spare it.