Hi fellow Villagers! does any one have any experience in using a incredibly hot tub at their dwelling but not coated beneath a Lanai? Seeking to figure out if we have to invest $8-10k (ouch) on a Lanai extension or maybe set up the recent tub on our BBQ patio https://izmirpergola19268.wikigop.com/1263001/the_definitive_guide_to_izmir_tente