Fortunately, it didn't leak, and they were able to repair it easily enough. I had them balance and rotate the tires while they were at it, since it was almost due anyway. Thankfully all that was free.
I'm a bit dubious about patching a W-rated tire, but we'll see how it works out.