Hello fellow Villagers! does anyone have any expertise in employing a very hot tub at their household although not included under a Lanai? Hoping to determine if we have to expend $8-10k (ouch) on a Lanai extension or simply put in the recent tub on our BBQ patio space and https://izmirawning18786.frewwebs.com/34693423/5-easy-facts-about-izmir-awning-described