Hello fellow Villagers! does any one have any encounter in using a incredibly hot tub at their household although not lined beneath a Lanai? Seeking to figure out if we need to invest $8-10k (ouch) on the Lanai extension or maybe set up the hot tub on our BBQ patio https://tarpaulin88164.sunderwiki.com/1362191/5_essential_elements_for_pergola