Hi fellow Villagers! does everyone have any working experience in using a very hot tub at their property although not covered below a Lanai? Seeking to figure out if we must invest $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio space https://cashacayu.bloguetechno.com/izmir-awning-secrets-69215045