I don't trust the new patches for anything but emergency on-road repairs. I'd rather carry a good spare tube and patch the punctured tube properly at home.

Did you have to replace your tire, too? What a pain, even if it was relatively well located.