Hello fellow Villagers! does any one have any expertise in using a very hot tub at their house but not included under a Lanai? Trying to determine if we have to invest $eight-10k (ouch) over a Lanai extension or maybe install the recent tub on our BBQ patio location and https://jeffreylevkz.blog-kids.com/34390442/tarpaulin-options