Hi Fellow Villagers! does any individual have any practical experience in using a warm tub at their residence although not included below a Lanai? Hoping to determine if we need to devote $8-10k (ouch) with a Lanai extension or maybe put in the hot tub on our BBQ patio spot https://waylonkicwo.thezenweb.com/pergola-options-72088208