Hello fellow Villagers! does any one have any working experience in using a hot tub at their house but not covered less than a Lanai? Striving to determine if we need to commit $8-10k (ouch) with a Lanai extension or perhaps set up the recent tub on our BBQ patio https://stephengjhdw.wikiparticularization.com/1367347/tarpaulin_secrets