Hi fellow Villagers! does any individual have any knowledge in using a very hot tub at their property but not included underneath a Lanai? Striving to figure out if we need to invest $8-10k (ouch) over a Lanai extension or simply install the recent tub on our BBQ patio area https://izmirpergola19482.bloguerosa.com/33128197/izmir-pergola-an-overview