In the case of hard tacos, taking the extra two minutes to shred lettuce would be two minutes too long before shoving tacos ...