Hi fellow Villagers! does anyone have any working experience in using a very hot tub at their dwelling although not coated under a Lanai? Attempting to figure out if we must invest $8-10k (ouch) over a Lanai extension or just put in the recent tub on our BBQ patio space https://pergola49146.wikiinside.com/1767674/5_tips_about_izmir_awning_you_can_use_today