Hi fellow Villagers! does any person have any practical experience in using a very hot tub at their household although not protected underneath a Lanai? Hoping to determine if we have to expend $eight-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio https://tarpaulin70123.bimmwiki.com/10799283/the_basic_principles_of_izmir_tente