Hi fellow Villagers! does anyone have any encounter in using a warm tub at their house but not included under a Lanai? Making an attempt to determine if we need to invest $8-10k (ouch) over a Lanai extension or merely set up the hot tub on our BBQ patio area https://arthurlheyr.wikibestproducts.com/1392363/the_ultimate_guide_to_izmir_awning