Hi fellow Villagers! does any one have any expertise in utilizing a very hot tub at their residence but not coated beneath a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) over a Lanai extension or simply just put in the hot tub on our BBQ https://johnathansndre.wikifordummies.com/8576571/the_smart_trick_of_izmir_awning_that_no_one_is_discussing