Hi fellow Villagers! does any one have any experience in using a hot tub at their house although not included less than a Lanai? Trying to determine if we need to expend $eight-10k (ouch) on the Lanai extension or simply just set up the recent tub on our BBQ patio https://israelorokd.wikibyby.com/1378987/fascination_about_izmir_pergola