Just noticed a bit of water dripping from my muffler. I’ve never seen it before, but the weather has gotten cooler in the past couple days. I know the water itself is probably just condensation, and I’m not concerned about that, but looking at it the water must be coming from inside the muffler, as there’s no water on the outside, and it’s actively dripping once a minute or so. So, there must be a tiny hole at the seam in the front of the muffler. Is that anything I should worry about?