Hello fellow Villagers! does everyone have any working experience in using a very hot tub at their household but not coated underneath a Lanai? Hoping to figure out if we need to commit $eight-10k (ouch) on a Lanai extension or merely install the recent tub on our BBQ patio location https://izmir-awning81098.answerblogs.com/34406161/little-known-facts-about-izmir-awning