Hello fellow Villagers! does anyone have any practical experience in employing a hot tub at their household but not covered under a Lanai? Striving to determine if we must commit $8-10k (ouch) with a Lanai extension or merely set up the new tub on our BBQ patio spot and find https://troyfmolg.blogdeazar.com/34329958/considerations-to-know-about-izmir-awning