There’s More to Gas Patio Heaters Than Hot Air, So What’s Their History?