Hi fellow Villagers! does anybody have any practical experience in using a incredibly hot tub at their house but not coated beneath a Lanai? Striving to figure out if we must commit $eight-10k (ouch) over a Lanai extension or just put in the new tub on our BBQ patio place https://kameronlyjve.wikififfi.com/1388501/the_basic_principles_of_izmir_tente