Hi fellow Villagers! does everyone have any working experience in using a very hot tub at their home but not coated beneath a Lanai? Trying to figure out if we need to devote $eight-10k (ouch) over a Lanai extension or maybe put in the recent tub on our BBQ patio https://izmirtente37035.wiki-racconti.com/8089789/the_definitive_guide_to_izmir_tente