Hi Fellow Villagers! does any individual have any expertise in utilizing a hot tub at their residence although not included less than a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or perhaps put in the new tub on our BBQ patio location https://spencerxklkl.wikirecognition.com/1401737/5_simple_statements_about_izmir_tente_explained