Hi Fellow Villagers! does anybody have any practical experience in utilizing a incredibly hot tub at their home although not coated under a Lanai? Striving to determine if we need to invest $8-10k (ouch) on the Lanai extension or perhaps put in the recent tub on our BBQ patio location https://collinpuobp.nico-wiki.com/1342584/the_definitive_guide_to_izmir_tente