Hi Fellow Villagers! does everyone have any knowledge in utilizing a hot tub at their house but not included under a Lanai? Seeking to determine if we need to spend $eight-10k (ouch) with a Lanai extension or simply put in the hot tub on our BBQ patio location and see https://izmirawning91123.blogchaat.com/34272305/the-basic-principles-of-izmir-tente