Hi fellow Villagers! does everyone have any working experience in using a very hot tub at their residence although not included less than a Lanai? Striving to figure out if we need to commit $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ https://judahylffk.ktwiki.com/1350148/the_smart_trick_of_izmir_awning_that_no_one_is_discussing