They only had to patch the patch that they patched that day.😂
Good thinking! The only thing they might have done better or different is just to patch the patch before they needed another patch. Probably would have added another patch to the pile, but would have saved a patch being patched later.