That makes sense - if you can't feel exhaust coming out there, then you're set. If its really bothering you - mix up some JB weld and carefully fill in the small hole with a tool like a q-tip or even a tooth pick. Smoothe it out and BAM - mental peace.