Hi Fellow Villagers! does any person have any encounter in employing a hot tub at their house but not coated less than a Lanai? Trying to figure out if we must expend $eight-10k (ouch) over a Lanai extension or maybe set up the hot tub on our BBQ patio area https://judahzfhjj.ourabilitywiki.com/9872202/the_definitive_guide_to_izmir_tente