That’s interesting to know, thanks! Most coffee shops where I live would probably never get busy enough to use a spare shot. Perhaps they change out to a single shot portafilter, but I’ve never noticed.