Hi fellow Villagers! does any person have any knowledge in utilizing a incredibly hot tub at their home but not covered less than a Lanai? Seeking to determine if we must devote $eight-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio https://rowanjwrvh.wikijournalist.com/5214071/5_easy_facts_about_izmir_pergola_described