flat tire

Hi All, Thought I'd share a quick story about Cleveland's high heat today and it's effects on my Touareg. I was on a local highway and the "flat tire!" warning sign came on. I pulled over and jumped out and noticed my right rear tire was low on air, but not quite flat. I hadn't felt any rumbling...

I have a flat tire and can get it patched for free at a tire store (so I've been told). However, what, if anything, do I need to let the tire store people know about my tire and/or TPMS before letting them repair it? Or should I just take the tire to the VW dealership? I don't want to risk any...