Hi Fellow Villagers! does anybody have any working experience in using a incredibly hot tub at their home but not lined underneath a Lanai? Striving to figure out if we have to spend $eight-10k (ouch) over a Lanai extension or merely install the new tub on our BBQ patio area https://izmirpergola83072.wikitelevisions.com/7371577/the_definitive_guide_to_izmir_tente