Hello fellow Villagers! does anyone have any experience in employing a hot tub at their house although not included beneath a Lanai? Hoping to figure out if we must spend $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio place and see https://izmir-awning53051.blogchaat.com/34235739/how-tarpaulin-can-save-you-time-stress-and-money