Hi fellow Villagers! does any person have any working experience in utilizing a hot tub at their dwelling but not covered under a Lanai? Hoping to determine if we must devote $8-10k (ouch) on a Lanai extension or simply install the hot tub on our BBQ patio region and see https://jaredfhdat.sunderwiki.com/1375192/the_definitive_guide_to_izmir_tente