Hi Fellow Villagers! does everyone have any practical experience in using a very hot tub at their residence although not coated under a Lanai? Striving to determine if we need to commit $8-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio https://elliotdbwqk.blogsumer.com/33209160/5-easy-facts-about-izmir-pergola-described