Hello fellow Villagers! does any one have any practical experience in using a incredibly hot tub at their house although not covered beneath a Lanai? Seeking to determine if we need to devote $eight-10k (ouch) over a Lanai extension or merely set up the hot tub on our BBQ patio https://tarpaulin51479.illawiki.com/1386495/the_basic_principles_of_izmir_tente