I disassembled the top section (belly pan) from the upper leg, and the copper water tube has an approximate 1/4" hole in it. It looks like it was intentionally drilled. Is this supposed to be there to cool the exhaust?? I would think this would cause some decrease in water pressure, and am wondering if I should put a sleeve around this? Has anyone noticed this? Thanks!