Hi fellow Villagers! does any one have any practical experience in utilizing a very hot tub at their home but not lined underneath a Lanai? Trying to determine if we have to commit $8-10k (ouch) on a Lanai extension or perhaps set up the new tub on our BBQ patio https://izmir-pergola28415.thenerdsblog.com/39974637/not-known-facts-about-izmir-tente