Hello fellow Villagers! does anyone have any working experience in employing a very hot tub at their house but not covered underneath a Lanai? Attempting to figure out if we have to devote $eight-10k (ouch) over a Lanai extension or simply put in the recent tub on our BBQ patio https://izmirtente37035.wikiannouncing.com/6211238/5_simple_statements_about_izmir_awning_explained