Hello Fellow Villagers! does everyone have any working experience in utilizing a incredibly hot tub at their home although not protected underneath a Lanai? Trying to figure out if we have to expend $8-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio https://dominickmbuul.nico-wiki.com/1357404/detailed_notes_on_izmir_pergola