Hello fellow Villagers! does any one have any expertise in employing a hot tub at their house but not covered beneath a Lanai? Making an attempt to figure out if we must spend $eight-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio place https://sergioludoq.oneworldwiki.com/6665118/the_fact_about_izmir_pergola_that_no_one_is_suggesting