Hello fellow Villagers! does anyone have any encounter in using a hot tub at their home although not covered underneath a Lanai? Seeking to figure out if we need to devote $8-10k (ouch) with a Lanai extension or simply just set up the recent tub on our BBQ patio location https://izmirtente84714.wikilentillas.com/1373898/not_known_facts_about_izmir_tente