Hi Fellow Villagers! does any person have any practical experience in employing a incredibly hot tub at their house but not included below a Lanai? Seeking to figure out if we must invest $8-10k (ouch) on a Lanai extension or maybe install the new tub on our BBQ patio spot https://izmirpergola81345.sunderwiki.com/1370822/5_essential_elements_for_pergola