Converting to inches it looks like the original was 16 gauge and the replacement is 18 gauge. I'm not sure I'd worry about it. But if you can acceptably patch the original, that would still be the best option IMHO.

"We live in a time when intelligent people are being silenced so that stupid people won't be offended".