Hi fellow Villagers! does any individual have any encounter in utilizing a very hot tub at their residence but not included under a Lanai? Trying to determine if we need to devote $eight-10k (ouch) over a Lanai extension or merely set up the recent tub on our BBQ patio region https://brooksmxtoi.wikitron.com/1393348/the_definitive_guide_to_izmir_tente