Hello fellow Villagers! does any one have any working experience in utilizing a incredibly hot tub at their house but not included below a Lanai? Seeking to determine if we need to shell out $8-10k (ouch) with a Lanai extension or merely install the recent tub on our BBQ patio https://izmir-awning73501.wikifordummies.com/8553743/the_smart_trick_of_izmir_awning_that_no_one_is_discussing