I have a outdoor gas grill over 12 yrs old and do not know manufacturer. During cleanup, I found it all rusted and in the process, I broke it. I need to replace it. It is approximately 16'' long and it fits on one side to gas (a built in tap). There are two parallel pipes to be covered by fake coal to spread the heat evenly. I need your help to select the appropriate pipe and buy it. Thanks.