Hi fellow Villagers! does anyone have any working experience in employing a very hot tub at their residence although not lined under a Lanai? Hoping to figure out if we have to commit $eight-10k (ouch) on the Lanai extension or simply install the new tub on our BBQ patio region https://holdengvkwg.homewikia.com/11338632/5_tips_about_izmir_awning_you_can_use_today