Thanks, Bob -- I should have said that the replacement from Weber is
ten bucks, plus five bucks shipping, making a 15 dollar investment in
something that is 49 bucks in stores. I am hoping for a supercheap,
tinfoil-and-chewing-gum alternative.