Hello fellow Villagers! does any one have any encounter in employing a very hot tub at their dwelling but not covered less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio place https://claytonybxvp.robhasawiki.com/11227048/5_easy_facts_about_izmir_pergola_described