Hello fellow Villagers! does any person have any knowledge in using a hot tub at their property but not protected below a Lanai? Seeking to figure out if we have to spend $8-10k (ouch) over a Lanai extension or perhaps set up the recent tub on our BBQ patio region https://gunnerfgeyr.wikihearsay.com/3336842/fascination_about_izmir_pergola