Hi fellow Villagers! does any one have any experience in using a hot tub at their residence but not coated less than a Lanai? Striving to determine if we have to invest $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio spot https://codybdaun.governor-wiki.com/1373722/the_definitive_guide_to_izmir_tente