Hello Fellow Villagers! does anybody have any experience in using a hot tub at their property but not covered under a Lanai? Striving to figure out if we need to spend $8-10k (ouch) over a Lanai extension or merely install the recent tub on our BBQ patio space and see https://izmirpergola25814.nico-wiki.com/1346263/izmir_pergola_an_overview