3 ms·

Yeah, maybe. I’ve seen out of order gas pumps all the time. But never for long. They fix them fast.