Hi fellow Villagers! does anybody have any encounter in using a hot tub at their dwelling although not protected below a Lanai? Striving to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ patio spot https://sethsfqzi.wikiparticularization.com/1385263/izmir_awning_secrets