Hi fellow Villagers! does anybody have any practical experience in employing a hot tub at their house but not protected underneath a Lanai? Trying to determine if we have to invest $8-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio area and see https://rylanphheu.wikibestproducts.com/1391616/little_known_facts_about_izmir_awning