Hi fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their residence although not protected underneath a Lanai? Attempting to figure out if we must shell out $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio https://pergola54208.sasugawiki.com/6975187/detailed_notes_on_izmir_pergola