Hi Fellow Villagers! does anyone have any experience in utilizing a hot tub at their home although not covered beneath a Lanai? Attempting to determine if we have to devote $8-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ patio location and see https://mariofhfau.hamachiwiki.com/1375234/top_izmir_tente_secrets