Hello fellow Villagers! does anyone have any experience in using a incredibly hot tub at their dwelling but not lined beneath a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) over a Lanai extension or simply just install the recent tub on our BBQ patio https://tarpaulin61755.blogcudinti.com/34263756/pergola-things-to-know-before-you-buy