I suppose this happens to folks now and then, we forget to turn off the gas grill after cooking up some burgers for the family. Just be sure your grill isn't close to the vinyl like we see here. Fortunately for this person (who will remain nameless) the job to fix the siding cost about $30 at the local home depot and about 3 hours of time.
