I'm just curious, I've searched the stickies and can't find this answer. What burners do you use to replace worn out ones. I've seen 3 tube set on Amazon for $25, compared to the $50 or so from other shops. I already bought and installed burners on my grill, but just wondering for future reference if I want to flip a grill. Thanks