Hello Fellow Villagers! does any person have any practical experience in employing a incredibly hot tub at their residence but not included below a Lanai? Trying to determine if we need to spend $8-10k (ouch) over a Lanai extension or maybe put in the new tub on our BBQ patio https://milopuceg.wikimillions.com/3844663/detailed_notes_on_izmir_pergola