Hi Fellow Villagers! does anybody have any experience in utilizing a incredibly hot tub at their residence but not included less than a Lanai? Trying to figure out if we must invest $eight-10k (ouch) with a Lanai extension or merely put in the new tub on our BBQ patio region https://remingtonbxjsw.pennywiki.com/4576298/pergola_no_further_a_mystery