Hi Fellow Villagers! does any one have any working experience in utilizing a very hot tub at their house although not coated less than a Lanai? Hoping to determine if we need to expend $eight-10k (ouch) over a Lanai extension or simply set up the recent tub on our BBQ https://johnathanwsohb.wikiconversation.com/7149873/izmir_pergola_an_overview