Dealer recommends replacement via insurance and our insurer said no problem. Dealer guessed about $3500 but it'd no doubt be more as we have a power vent and roof speakers. However we have a $1000 deductible.
And though you can't see it yet on the inside, I'm sure water got in through the tear during the storm and is now working its way through the various laminates under the outside skin. So any patch would only be a bandaid at best. Dang, a thousand bucks for a little tear!