Hi Fellow Villagers! does anyone have any practical experience in employing a hot tub at their home although not included below a Lanai? Seeking to determine if we must expend $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio region and see In https://izmir-awning82478.dekaronwiki.com/1356070/not_known_facts_about_izmir_tente