Hello fellow Villagers! does any person have any expertise in using a very hot tub at their home but not covered less than a Lanai? Seeking to determine if we have to invest $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio https://troyybyvp.verybigblog.com/33327535/the-basic-principles-of-izmir-tente