Hi fellow Villagers! does any individual have any expertise in using a warm tub at their house but not protected below a Lanai? Hoping to determine if we must spend $8-10k (ouch) over a Lanai extension or just set up the recent tub on our BBQ patio spot and see https://izmir-tente72591.wikiinside.com/1770534/a_review_of_izmir_pergola